File "t14bad.ml", line 23, characters 2-43:
23 |   module rec U : T with type D.t = U'.t = U
       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The definition of U.D.t contains a cycle:
         U'.t = U'.t,
         U'.t = U'.t