class Steep::AST::Types::Instance

def ==(other) 

def ==(other)
  other.is_a?(Instance)
end

def free_variables 

def free_variables
  @@fvs
end

def hash 

def hash
  self.class.hash
end

def level 

def level
  [0]
end

def subst(s) 

def subst(s)
  if s.instance_type
    s.instance_type
  else
    self
  end
end

def to_s 

def to_s
  "instance"
end