val rec x = fn () => ()
and x = fn () => ()