[wtetzner]

I like OCaml's approach, where you write types in module signatures, but don't need to put them in the implementation.