Data.Comp.Multi.Sum

type f :<: g

data (f :+: g) h e

caseH

Projections for Signatures and Terms

proj

project

deepProject

Injections for Signatures and Terms

inj

inject

deepInject

split

Injections and Projections for Constants

injectConst

projectConst

injectCxt

liftCxt

substHoles