File "pr5026_bad.ml", line 11, characters 0-36: 11 | type -'typing wrapped = private sexp ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Error: The type abbreviation wrapped is cyclic: 'a wrapped = sexp, sexp = untyped wrapped