Automatic lifting of a min 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 min dictated by the signature of a function and given that the mapping maps one type to another which has a Monoid.
The type on which to find a minimum, assuming one can be produced