@@ -164,6 +164,10 @@ concurrentOps constr desc eq t = do
164164 concurrentMapM constr eq $ \n mv stream ->
165165 t $ S.mapM (mvarSequenceOp mv n) stream
166166
167+ prop1 (desc <> " sequence") $
168+ concurrentMapM constr eq $ \n mv stream ->
169+ t $ S.sequence $ S.map (mvarSequenceOp mv n) stream
170+
167171-------------------------------------------------------------------------------
168172-- Concurrent Application
169173-------------------------------------------------------------------------------