module KeyValidatable::Refinements