Data.Comp.Multi.Annotation

data (f :&: a) g e

class DistAnn s p s'

class RemA s s'

liftA

ann

liftA'

stripA

propAnn

project'