Data.Comp.Ops

data (f :+: g) e

caseF

class sub :<: sup

data (f :*: g) a

ffst

fsnd

data (f :&: a) e

class DistAnn s p s'

class RemA s s'