Monomorphic has nothing to do with it. You can have monomorphic operators that don't do any conversion (e.g. add), and you can have monomoprhic operators that do (e.g. to_int, +).
You said yourself the addition operator coerces. What else is there to say.
In reply to Re^14: Strong typing and Type Safety.A multilanguage approach (implicit)
by ikegami
in thread Strong typing and Type Safety.A multilanguage approach
by nikosv
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |