Hacker News Reader

I've not found an elegant way to express in Haskell what can be expressed trivially with modules and functors in SML/OCaml.

Another interesting point that is not relevant to the question I asked, which was about dynamic typing!