Simplify type of hash-has-key?.