Instead of one after another.
For example: type t1 = T1(t2) type t2 = T2(t1)
Then it shows an error.
type rec t1 = T1(t2) and t2 = T2(t1)
https://rescript-lang.org/try?version=v10.1.2&code=C4TwDgpgBAThDGVgEYoF4oBVkApgCYBKAKAEMA7AEyX3S3z2UKA