Li-Fan Chen says to YSITD
而且這有個好處 在某些不能直接做Operator的partial application的語言可以傳這個過去