Re: Type-inference using functions from different modules

[Lennart Augustsson]

This is not a bug, it's a feature.  :-)
It's the monomorphism restriction.

        -- Lennart