object
  method virtual is_equal : 'a -> 'a -> bool
  method virtual to_string : 'a -> string
end