(* compile with -rectypes *)

type 'a foo = 'a foo list (* accepted *)

module M (X : sig type 'a list end) = struct
  type 'a foo = 'a foo X.list (* accepted by ocaml 3.11.2; rejected by ocaml 4.00.1 *)
end