class Dry::Types::Sum

def self.operator = :|

def call_safe(input, &block)
  left.call_safe(input) { right.call_safe(input, &block) }
end

def call_unsafe(input)
  left.call_safe(input) { right.call_unsafe(input) }
end

def constrained(...)
  if optional?
    right.constrained(...).optional
  else
    super
  end
end

def meta(data = Undefined)
  if Undefined.equal?(data)
    optional? ? right.meta : super
  elsif optional?
    self.class.new(left, right.meta(data), **options)
  else
    super
  end
end

def optional? = primitive?(nil)

def primitive?(value)
  left.primitive?(value) || right.primitive?(value)
end

def try(input)
  left.try(input) do
    right.try(input) do |failure|
      if block_given?
        yield(failure)
      else
        failure
      end
    end
  end
end