Emulating OCaml modules with typeclasses

[tomjaguarpaw]

You may find this interesting: modules-for-lennart