autolift
Typeclass supporting lifting the discovery of the greatest 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 maximum will be chosen
Typeclass supporting lifting the discovery of the greatest 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 maximum will be chosen