Li-Fan Chen
says to
YSITD
例如 求一個函數符合以下性質 For all (a:Int) f f a= a (f a) + a= 0