class type identity = object
  method hash : Concepts.Hash.hash
end

class of_id : identity