Proposal: Num instance for (a -> b)

Jon Fairbairn jon.fairbairn at
Mon Nov 12 10:16:15 UTC 2018

Daniel Cartwright <chessai1996 at> writes:

> ANum seems to be just Data.Monoid.Ap.
> Also, I can see not wanting to worsen the error messages, though it is
> worth pointing out that we already have a Monoid instance with the same
> semantics, and a similar potential for confusing error messages.

The existence of a previous bad decision doesn’t seem to me to
be a good reason to make another one.

Jón Fairbairn                                 Jon.Fairbairn at  (updated 2014-04-05)

More information about the Libraries mailing list