Second line: in Haskell, `sequence :: (Traversable...
# arrow
b
Second line: in Haskell,
sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)