In MLs, you can often replace what would be a typeclass in haskell with idiomatic uses of functors (parameterized modules). It gets kind of hairy if you do it

In MLs, you can often replace what would be a typeclass in haskell with idiomatic uses of functors (parameterized modules). It gets kind of hairy if you do it a lot, though.