Proposal: Num instance for (a -> b)

Henning Thielemann lemming at
Sun Nov 11 05:00:46 UTC 2018

On Sun, 11 Nov 2018, Henning Thielemann wrote:

> On Sat, 10 Nov 2018, Daniel Cartwright wrote:
>> relevant reddit comment 
>> thread:
>> urce=reddit-android
> In short: It would make 2(x+y) no longer a type error but equivalent to 2. We 
> would lose a lot of type safety for little syntactic gain.

Btw. before adding more Wat instances please implement the GHC warning 
about such instances:

More information about the Libraries mailing list