autolift
Typeclass supporting lifting the discovery of the least element over an arbitrary nesting of type constructors, assuming one can be produced.
The type which will be lifted and searched
The function used to produce the values by which a minimum will be chosen
Typeclass supporting lifting the discovery of the least element over an arbitrary nesting of type constructors, assuming one can be produced.
The type which will be lifted and searched
The function used to produce the values by which a minimum will be chosen