Proposal: Show and Read for Data.Ord.Down

Joachim Breitner mail at
Wed Sep 25 22:36:49 CEST 2013


Am Mittwoch, den 25.09.2013, 15:17 +0200 schrieb Krzysztof Gogolewski:
> I propose to add derived Show and Read instances to Data.Ord.Down.
> This should be uncontroversial. Any thoughts?

I could imagine that such instances were intentionally not put there
because the author of Down has intended it to be used only
“temporarily”, e.g.
        map (\(Down x) -> x) . sort . map Down
so the absence of the instances encourage that usage pattern.

Not sure though if base should be encouraging certain usage patterns.
Also, Show is useful for debugging.

A mildly positive *shrug* from me.


Joachim “nomeata” Breitner
  mail at joachim-breitner.de
  Jabber: nomeata at  • GPG-Key: 0x4743206C
  Debian Developer: nomeata at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the Libraries mailing list