Data.Type.Sum

data Sum f

nilSum

decomp

injectSum

inj

prj

index

elimSum