Data.Comp.Param.Multi.Annotation

data (f :&: p) a b i

data (f :*: g) a b

class DistAnn s p s'

class RemA s s'

liftA

liftA'

stripA

propAnn

propAnnM

ann

project'