Data.Comp.Multi.Projection

pr

type f :< g

data (f :*: g) a

ffst

fsnd