Li-Fan Chen says to YSITD
我需要monad跟functor的簡單易懂的解釋