Data.Comp.Ops

data (f :+: g) e

fromInl

fromInr

caseF

data Pos

data Emb

type family Elem f g :: Emb

type family Choose f g e1 r :: Emb

type family Sum' e1 r :: Emb

data Proxy a

class Subsume e f g

type family Or a b :: Bool

type family AnyDupl f g

type family Dupl f l :: Bool

type family Dupl' l :: Bool

type family Find f l :: Bool

type family Find' f g :: Bool

class NoDupl f g s

type f :<: g

inj

proj

type f :=: g

spl

data (f :*: g) a

ffst

fsnd

data (f :&: a) e

class DistAnn s p s'

class RemA s s'