Data.Type.Sum.Lifted

data FSum

nilFSum

fdecomp

finj

fprj

injectFSum

findex

imapFSum

ifoldMapFSum

itraverseFSum