Re: [Haskell-cafe] Strange context reduction with partial application and casting

On Sun, Jul 3, 2011 at 2:05 AM, Daniel Fischer < daniel.is.fischer@googlemail.com> wrote:

But as I understand it, the concern is ghci, where truly local bindings are probably rare and type signatures are commonly omitted. So putting ":s -XNoMonomorphismRestriction" in the .ghci file probably prevents more confusion and inconvenience than it causes.

Especially given GHCi's extended defaulting rules which makes g = f 1 not ambiguous. [It sets a1 to ()] -- ryan