autolift
Type class supporting fold over an arbitrary nesting of type constructors given a function which maps initial types to some other type defined with a Monoid.
The function to be used to map values.
Type class supporting fold over an arbitrary nesting of type constructors given a function which maps initial types to some other type defined with a Monoid.
The function to be used to map values.