@@ -164,6 +164,10 @@ concurrentOps constr desc eq t = do
164 concurrentMapM constr eq $ \n mv stream ->
164 concurrentMapM constr eq $ \n mv stream ->
165 t $ S.mapM (mvarSequenceOp mv n) stream
165 t $ S.mapM (mvarSequenceOp mv n) stream
167+ prop1 (desc <> " sequence") $
168+ concurrentMapM constr eq $ \n mv stream ->
169+ t $ S.sequence $ S.map (mvarSequenceOp mv n) stream
167-------------------------------------------------------------------------------
171-------------------------------------------------------------------------------
168-- Concurrent Application
172-- Concurrent Application
169-------------------------------------------------------------------------------
173-------------------------------------------------------------------------------