-- TODO need a MapSum just like MapRs, use a RPV for rep

-- | @reps@ maps a disbanded data type to its sum-of-products representation.
reps :: EachGeneric sum => sum -> EachRep sum
reps = repEach
reps :: EachGeneric sum => sum -> EachRep sum
reps = repEach
reps = repEach