fun f () = ()
and f () = ()