iota.CopK
A type class witnessing the ability to inject type constructor F into a coproduct of types constructors for KList type L
F
L
A type class witnessing the ability to inject type constructor
F
into a coproduct of types constructors for KList typeL