Data.Comp.Multi.Ops

data (f :+: g) h e

caseH

type family Elem (f :: (* -> *) -> * -> *) (g :: (* -> *) -> * -> *) :: Emb where ...

class Subsume e f g

type f :<: g

inj

proj

type f :=: g

spl

data (f :&: a) g e

class DistAnn s p s'

class RemA s s'

data (f :*: g) a

ffst

fsnd