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