Generics.SOP.BasicFunctors
data K a b
unK
data I a
unI
data (f :.: g) p
unComp
mapII
mapIK
mapKI
mapKK
mapIII
mapIIK
mapIKI
mapIKK
mapKII
mapKIK
mapKKI
mapKKK