Higher-order hashing and other hashing combinators