Inferring from context declarations

[Thomas Johnsson]

Lennart Augustsson writes:
 > > Simon Peyton Jones' comments about dictionary passing are a red herring,
 > > since they assume a particular form of compiler.  Various (MLj, MLton)
 > > ML compilers already inline out all polymorphism.
 > ML is a language where you can do this.  In Haskell it is not always
 > possible to eliminate all polymorphism (due to polymorphic recursion).

I'd like to see an example of this!
--Thomas