class Steep::TypeAssignability

def compact(types) 

def compact(types)
  types = types.reject {|type| type.is_a?(Types::Any) }
  
  if types.empty?
    [Types::Any.new]
  else
    compact0(types)
  end
end