Data.Comp.Multi.Sum

class sub :<: sup

data (f :+: g) h e

Projections for Signatures and Terms

Injections for Signatures and Terms

Injections and Projections for Constants