module Pact::HashRefinements