I kind of understand what you mean but I don't understand why would
anybody want this functionality.

> Common wisdom these days is to disable the monomorphism restriction when
> working with ghci; there's a growing belief that it has outlived its
> usefulness.