[elbear]

When you put it like that, modules sound more powerful than typeclasses. Is there any situation where typeclasses are superior to modules?

[ratmice]

I think the extra power comes with cognitive overhead, I.e. operators are now relative to some module, and you're stuck with that overhead whether or not you actually use the power or not.

Trying to stay neutral, I think its no suprise that some people prefer typeclasses...