class Steep::AST::Types::Tuple

def subst(s)

def subst(s)
  self.class.new(location: location,
                 types: types.map {|ty| ty.subst(s) })
end