Proposal: Num instance for (a -> b)

Henning Thielemann lemming at
Sun Nov 11 04:54:44 UTC 2018

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.

More information about the Libraries mailing list