Recursive modules prevent sketch from executing the code

[kyldvs]

Example: https://sketch.sh/s/htxiTTab2wGkSLKFCeOc6P/

This is valid, but "Hello" is not printed:

module type T = { type t; };

module rec Foo: T = {
  type t = {
    foo: option(Foo.t),
    bar: option(Bar.t),
  };
}
and Bar: T = {
  type t = {
    foo: option(Foo.t),
    bar: option(Bar.t),
  }
};

print_endline("Hello");