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

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