Monomorphism

[John C. Peterson]

You can't nuke monomorphism without addressing the ambiguity problem.
At the very least, you need scoped type variables to disambiguate
types in the absence of the MR.  This ambiguity is a definite pitfall
and the type errors resulting from this ambiguity will probably be
even more puzzling and harder to address than the errors generated by
the current MR, even though quite a bit less frequent I imagine.

  John