new Hash combinators, and .mli