autolift
Type class supporting folding over a stack of nested type constructors given that the inner most type has an instance of Monoid.
The types to be folded.
Type class supporting folding over a stack of nested type constructors given that the inner most type has an instance of Monoid.
The types to be folded.