Re-implementation of 'sequence'

sequence.hs

mysequence :: (Monad m) => [m a] -> m [a]
mysequence xs = loop xs []
  where loop []     ys = return $ reverse ys
        loop (x:xs) ys = x >>= \y -> loop xs (y:ys)