[bjz_]

Records of the same structure but different names are equivalent. In fact tuples are just sugar over records with numeric fields starting from 1. Note that this is not the same as in OCaml, afaik.

[jolux]

It depends. OCaml explicitly has polymorphic records as well.