Li-Fan Chen
says to
YSITD
monad跟callback有什麼差別