Data.Comp.Param.Multi.Ops

data (f :+: g) a b i

caseHD

class sub :<: sup

data (f :*: g) a b

ffst

fsnd

data (f :&: p) a b i

class DistAnn s p s'

class RemA s s'