(((f: (x: x)) f) x)