def f (x := t) : t := f f