[Haskell-cafe] Re: (Chaos) [An interesting toy]

[Simon Peyton-Jones]

| The source code has explicit monomorphic types all over it; I would
| expect GHC to be able to optimise out any method calls. (OTOH, I'm not a
| GHC expert... Simon? Don?)

Full monomorphisation is a whole-program optimisation and GHC isn't (yet) a whole-program compiler.  Overloaded functions are indeed specialised for the types at which they are called *in the module they are defined*.

Simon