def Foo = fn void(Foo* x); // #error: Recursive definition