Answer (1 of 2): It’s a pragmatic design decision.

* recursive types are a niche usecase
* they mask common errors, leading to worse type error messages
* they can be encoded—slightly awkwardly—with an explicit fixed-point type
OCaml supports recursive…