class Steep::AST::Types::Proc

def subst(s)
  self.class.new(
    params: params.subst(s),
    return_type: return_type.subst(s),
    location: location
  )
end