class Dry::Logic::Operations::Implication

def call(input)
  left_result = left.(input)
  if left_result.success?
    right_result = right.(input)
    Result.new(right_result.success?, id) { right_result.to_ast }
  else
    Result::SUCCESS
  end
end