Data.Comp.Multi.Annotation
data (f :&: a) g e
class DistAnn s p s'
class RemA s s'
liftA
ann
liftA'
stripA
propAnn
project'