Cascade.Sum

data SumW w ts

type family SumW' w ts

toEither

type Sum

here

there

type family TailSumsW w ts :: [*]

type TailSums ts

pops

resumeC

resumeM

resumeW

resume