iota
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 types constructors for KList type L
L