The author conflates quite a few unrelated concepts. Monads with "interfaces and object models," and templates with type inference. Perhaps in the programmer's

The author conflates quite a few unrelated concepts. Monads with "interfaces and object models," and templates with type inference. Perhaps in the programmer's head these all serve similar functions (often erroneously. See, e.g. http://blog.tmorris.net/type-classes-are-nothing-like-interfaces/ http://blog.tmorris.net/type-classes-are-nothing-like-interf...), but language designers need to make clearer distinctions.