class element id (registry :#registry) =
  object
    method registry = registry
  end

and registry =
  object
    val set
    method register :'a. (#element as 'a) -> () =
      fun s ->
        set <- s :: set
  end