OCaml solves this elegantly by making the equality functions parameters to the constructor of the collection type.