Data.Comp.Multi.Ops

data (f :+: g) h e

caseH

class sub :<: sup

data (f :*: g) a

fst

snd

data (f :&: a) g e

class DistAnn s p s'

class RemA s s'