Proposal #2560 again: add newtype Down/ReverseOrd to Data.Ord

[Henning Thielemann]

kahl at cas.mcmaster.ca schrieb:

> Of course, alternatives remain available,
> in the spirit of Henning Thielemann's ``Warm, fuzzy thing Transformer'': 
> 
>> It was argued that people avoid Haskell because of terms from Category
>> theory like 'Monad'. This problem can now be solved by a wrapper which
>> presents all the WWW without monads! Start e.g. at
>>  
>> http://saxophone.jpberlin.de/MonadTransformer?source=http%3A%2F%2Fwww%2Ehaskell%2Eorg%2Fhaskellwiki%2FCategory%3AMonad&language=English
> 
> ;-)

Thanks for quoting it!
Btw. now you can also access it via a warmer, but less fuzzier URL:
http://www.haskell.org.monadtransformer.parallelnetz.de/haskellwiki/Category:Monad

I can easily add a replacement Ord.Dual -> "Somehow different" and
"Existential quantification -> Hidden type variable" ...