liquidhaskell-0.5.0.0: include/708/Control/Monad.spec
module spec Control.Monad where
Control.Monad.sequence :: GHC.Base.Monad m => xs:[m a] -> m {v:[a] | (len v) = (len xs)}
module spec Control.Monad where
Control.Monad.sequence :: GHC.Base.Monad m => xs:[m a] -> m {v:[a] | (len v) = (len xs)}