iota.CopK
A type class witnessing the ability to inject type constructor F into a coproduct of type constructors G
F
G
A type class witnessing the ability to inject type constructor
F
into a coproduct of type constructorsG