sequence :: Monad m => [m a] -> m [a] in LiveScript

control.monad.basics.ls

# ## Function: sequence
#
# Evaluates each action in sequence, left to right, collecting the
# results.
#  
# + type: (Monad m) => m -> [m a] -> m [a]
export sequence = (m, ms) --> do
                              return ms.reduce-right perform, m.of []
                            # where:
                              function perform(m1, m2) => do
                                                          x  <- m1.chain
                                                          xs <- m2.chain
                                                          xs.push x
                                                          m.of xs

sequence.hs

-- | Evaluate each action in the sequence from left to right,
-- and collect the results.
sequence :: Monad m => [m a] -> m [a] 

sequence ms = foldr k (return []) ms
            where
              k m m' = do { x <- m; xs <- m'; return (x:xs) }