Proposal: Max and Min for Monoid (ticket # 1952)

[Isaac Dupree]

Ross Paterson wrote:
> data Max a = NoMax | Max a
> 	deriving (Eq, Ord, Read, Show)

> and similarly for Min.

data Min a = Min a | NoMin
so that the deriving Ord works as expected

The newtypes don't add a possible bottom, but data does... should (Max 
undefined) be non-bottom, or should the data types have strictness 
annotations perhaps?


Isaac