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 type over which to produce a maximum
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 type over which to produce a maximum