Monomorphism, monomorphism...

Lennart Augustsson
Wed, 24 Oct 2001 11:10:16 +0200

Hannah Schroeter wrote:

> I don't think so. Why not create a dictionary record while compiling
> the associated instance (which may, by the H'98 definition, occur
> only once in the program)?

One problem is that certain Haskell programs need an unbounded
number of instances.

    -- Lennart