発端は@dico_lequeさんのこのツイート そういえばOCamlでtype t = [ atom | `List of t list | `DottedList of t list * atom ]and atom = [ `Int of int | `Vector of t array ]みたいなのはThe type constructor atom is not yet completely definedになっ…