class Dry::Types::PrimitiveInferrer::Compiler

def visit(node)
  meth, rest = node
  public_send(:"visit_#{meth}", rest)
end

def visit_any(_) = ::Object

def visit_array(_) = ::Array

def visit_constrained(node) = visit(node[0])

def visit_constructor(node) = visit(node[0])

def visit_enum(node) = visit(node[0])

def visit_hash(_) = ::Hash

def visit_lax(node) = visit(node)

def visit_nominal(node) = node[0]

def visit_sum(node)
  left, right = node
  [visit(left), visit(right)].flatten(1)
end