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