I am in favor of adding fsequence :: (Monad m,FunctorM f) => f (m a) -> m (f a) fsequence_ :: (Monad m,FunctorM f) => f (m a) -> m () fsequence = fmapM id fsequence_ = fmapM_ id John -- John Meacham - ⑆repetae.net⑆john⑈