Data.Comp.Multi.Projection
pr
type
f
:<
g
data
(f
:*:
g) a
ffst
fsnd