Data.Type.Sum

data Sum f

decomp

injectSum

inj

prj

index

data SumF

decompF

injF

prjF

injectSumF

indexF