Automatic lifting of a Fold dictated by the signature of a function and given that the mapping maps one type to another which has a Monoid.
Automatic lifting of a Fold dictated by the signature of a function and given that the mapping maps one type to another which has a Monoid.
the argument of the function.
the return type of the function which must have a Monoid.
the function over which to fold.