Implict parameters and monomorphism

[Mieszko Lis]

On Fri, May 04, 2001 at 09:27:51AM +0200, John Hughes wrote:
>         One good reason for NOT giving inferrable type signatures is that
> including them makes programs less modifiable: a small local change, such as
> adding a parameter to a type, may force a large number of consequential
> changes to type signatures.

Absolutely -- suppose you add a `trace' somewhere in your program, which
conjures up a Show constraint everywhere...

-- Mieszko