would this work: `open class KindId<T: Kind<...
# arrow-contributors
p
would this work:
open class KindId<T: Kind<*, *>>() : KindOrId()
?