ocamlc .foo.objs/k.{cmi,cmo,cmt} (exit 2)
(cd _build/default && /home/egallego/.opam/4.07.0/bin/ocamlc.opt -w @a-4-29-40-41-42-44-45-48-58-59-60-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I .foo.objs -I .foo.objs/.private -no-alias-deps -opaque -o .foo.objs/k.cmo -c -impl .wrapped_compat/K.ml-gen)
File ".wrapped_compat/K.ml-gen", line 1:
Error: Unit K imports from Foo__K, which uses recursive types.
The compilation flag -rectypes is required