（序列 。） 。翻转 fmap === forM？

Question

是(sequence .) . flip fmap一样的forM吗？我在这里问是因为pointfree.io似乎不这么说......

Answer 1

是的：

(sequence .) . flip fmap
(sequence .) . (\u f -> fmap f u)
\u -> sequence . (\f -> fmap f u)
\u f -> sequence (fmap f u)
\u f -> mapM f u
flip mapM
forM

正如 chi 所说，大概只是 pointfree.io 不知道forM.