for now I've done this: ``` sealed class Nested&lt...

# arrow-contributors

[Eugenio]

for now I've done this:

sealed class Nested<F: KindType, G: KindType> : Witness<Nested<F, G>>() {
  companion object: Nested<Kind_, Kind_>() {
    @Suppress("UNCHECKED_CAST")
    operator fun <F: KindType, G: KindType> invoke() = this as Nested<F, G>
  }