object
  method virtual code : 'a -> Priority.t
  method virtual tag : 'a -> string
end