module Thy

# File lib/thy.rb, line 48
def refine_type(type_1, type_2)
  Type.new do |value|
    check_1 = type_1.check(value)
    if check_1.success?
      type_2.check(value)
    else
      check_1
    end
  end
end