HashExt.

Use refine instead of monkey patching Hash