Yet another extended standard library for OCaml. This one is kind of a sketch of an idea, for using module functors to get something similar to, but more flexible than, Haskell's standard typeclasses.