Safer ::Hash typechecking