Data.Comp.Ops

data (f :+: g) e

fromInl

fromInr

caseF

data Pos

data Emb

type family GetEmb f g :: Emb

type family Pick f g e1 r :: Emb

type family Split f g :: Emb

type family Pick2 e1 r :: Emb

data EmbD e f g

class GetEmbD e f g

data SimpPos

data Res

type family DestrPos e :: Res

type family ResLeft r :: Res

type family ResRight r :: Res

type family ResSum r e :: Res

type family Or x y

type family In p e :: Bool

type family Duplicates' r :: Bool

type family Duplicates e

class NoDup b f g

inj_

type f :<: g

inj

type f :=: g

proj_

proj

spl

data (f :*: g) a

ffst

fsnd

data (f :&: a) e

class DistAnn s p s'

class RemA s s'