Proposal: Num instance for (a -> b)

Henning Thielemann lemming at
Sat Nov 17 10:23:08 UTC 2018

On Sat, 17 Nov 2018, Anthony Clayden wrote:

> > relevant reddit comment thread: ...
> Are you people completely nuts? Haven't you wreaked enough havoc with the Foldable Traversable Piffle?

I am still using at most GHC-7.8.4 as main compiler because of broken type 
safety starting from GHC-7.10. Breaking type safety for everyone was 
achieved quickly, but restoring at least a bit of it for the ones who care 
will certainly not happen for years (presumedly not before more Wats are 

However, I cannot see how this relates to the Foldable desaster or to the 
Num (a -> b) issue:

> Why ref pointy-headed discussion on reddit when you could also ref far more frequent complaints:
> "I think there must be something really wrong with the language design here. I don't know exactly what it is, but
>  I think someone must have made the wrong tradeoff at some point."

Since he already defined 'adj' as top-level function, I'd suggest he gives 
it a monomorphic type signature and all type ambiguities are gone. 
Top-level type signatures are good style anyway.

More information about the Libraries mailing list