autolift
Type class supporting folding over a nested stack of type constructors given a mapping from a type to something which has a Monoid.
The types to be folded.
The function over which to map and then fold.
Type class supporting folding over a nested stack of type constructors given a mapping from a type to something which has a Monoid.
The types to be folded.
The function over which to map and then fold.