YSITD_TG_Bot
says to
#ysitd
<koru1130>: 例如 求一個函數符合以下性質 For all (a:Int) f f a= a (f a) + a= 0