(sequence .) . flip fmap === forM?

Question

(sequence .) . flip fmap是否与forM相同?我问这个是因为没有点。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所指出的，它可能只是无点的。我不知道forM。