bug: codegen generates incorrect types for sealed trait with lazy directive and abstractEffectType enabled

[i10416]

directive @lazy on FIELD_DEFINITION

schema {
  query: Query
}

type Query {
    u: U
}


type A {
  field: Int @lazy
}

type B {
  field: Int
}

union U = A | B

import Types._

object Types {

  final case class A[F[_]](field: F[scala.Option[Int]]) extends U
  final case class B(field: scala.Option[Int]) extends U

  sealed trait U extends scala.Product with scala.Serializable

}

object Operations {

  final case class Query[F[_]](
      u: F[scala.Option[U[F]]]
                     // ^ Types.U does not take type parameters
  )

}

This is probably because SchemaWriter does not properly handle union that contains types with F[_] here.

caliban/tools/src/main/scala/caliban/tools/SchemaWriter.scala

Line 185 in 636b2bd

def writeUnionSealedTrait(union: UnionTypeDefinition): String =