@@ -624,20 +624,20 @@ augmentS :: IsStream t
624624augmentS g xs = g cons xs
625625
626626{-# RULES "augmentS/nil"
627− forall (g :: (a -> t m a -> t m a) -> t m a -> t m a)
628− . augmentS g nil = buildS g
629−#-}
627+ forall (g :: (a -> t m a -> t m a) -> t m a -> t m a).
628+ augmentS g nil = buildS g
629+ #-}
630630
631631{-# RULES "foldrS/augmentS"
632− forall k z xs (g :: (a -> t m a -> t m a) -> t m a -> t m a)
633− . foldrS k z (augmentS g xs) = g k (foldrS k z xs)
634−#-}
632+ forall k z xs (g :: (a -> t m a -> t m a) -> t m a -> t m a).
633+ foldrS k z (augmentS g xs) = g k (foldrS k z xs)
634+ #-}
635635
636636{-# RULES "augmentS/buildS"
637− forall (g :: (a -> t m a -> t m a) -> t m a -> t m a)
638− (h :: (a -> t m a -> t m a) -> t m a -> t m a)
639− . augmentS g (buildS h) = buildS (\c n -> g c (h c n))
640−#-}
637+ forall (g :: (a -> t m a -> t m a) -> t m a -> t m a)
638+ (h :: (a -> t m a -> t m a) -> t m a -> t m a).
639+ augmentS g (buildS h) = buildS (\c n -> g c (h c n))
640+ #-}
641641
642642{-# INLINE_NORMAL augmentSM #-}
643643augmentSM :: (IsStream t, MonadAsync m)
@@ -645,20 +645,20 @@ augmentSM :: (IsStream t, MonadAsync m)
645645augmentSM g xs = g consM xs
646646
647647{-# RULES "augmentSM/nil"
648− forall (g :: (m a -> t m a -> t m a) -> t m a -> t m a)
649− . augmentSM g nil = buildSM g
650−#-}
648+ forall (g :: (m a -> t m a -> t m a) -> t m a -> t m a).
649+ augmentSM g nil = buildSM g
650+ #-}
651651
652652{-# RULES "foldrSM/augmentSM"
653− forall k z xs (g :: (m a -> t m a -> t m a) -> t m a -> t m a)
654− . foldrSM k z (augmentSM g xs) = g k (foldrSM k z xs)
655−#-}
653+ forall k z xs (g :: (m a -> t m a -> t m a) -> t m a -> t m a).
654+ foldrSM k z (augmentSM g xs) = g k (foldrSM k z xs)
655+ #-}
656656
657657{-# RULES "augmentSM/buildSM"
658− forall (g :: (m a -> t m a -> t m a) -> t m a -> t m a)
659− (h :: (m a -> t m a -> t m a) -> t m a -> t m a)
660− . augmentSM g (buildSM h) = buildSM (\c n -> g c (h c n))
661−#-}
658+ forall (g :: (m a -> t m a -> t m a) -> t m a -> t m a)
659+ (h :: (m a -> t m a -> t m a) -> t m a -> t m a).
660+ augmentSM g (buildSM h) = buildSM (\c n -> g c (h c n))
661+ #-}
662662
663663-------------------------------------------------------------------------------
664664-- Experimental foldrM/buildM
@@ -711,7 +711,7 @@ foldrMKWith f step acc g = go g
711711 -> m r
712712 )).
713713 foldrM step acc (buildM g) = foldrMKWith foldStream step acc g
714−#-}
714+ #-}
715715
716716{-# RULES "foldrM/sharedM"
717717 forall step acc (g :: (forall r.
@@ -721,7 +721,7 @@ foldrMKWith f step acc g = go g
721721 -> m r
722722 )).
723723 foldrM step acc (sharedM g) = foldrMKWith foldStreamShared step acc g
724−#-}
724+ #-}
725725
726726------------------------------------------------------------------------------
727727-- Semigroup
@@ -774,7 +774,7 @@ mapFB c f = \x ys -> c (f x) ys
774774{-# RULES
775775"mapFB/mapFB" forall c f g. mapFB (mapFB c f) g = mapFB c (f . g)
776776"mapFB/id" forall c. mapFB c (\x -> x) = c
777−#-}
777+ #-}
778778
779779{-# INLINE map #-}
780780map :: IsStream t => (a -> b) -> t m a -> t m b
@@ -799,8 +799,8 @@ mapMFB :: Monad m => (m b -> t m b -> t m b) -> (a -> m b) -> m a -> t m b -> t
799799mapMFB c f = \x ys -> c (x >>= f) ys
800800
801801{-# RULES
802−"mapMFB/mapMFB" forall c f g. mapMFB (mapMFB c f) g = mapMFB c (f >=> g)
803−#-}
802+ "mapMFB/mapMFB" forall c f g. mapMFB (mapMFB c f) g = mapMFB c (f >=> g)
803+ #-}
804804-- XXX These rules may never fire because pure/return type class rules will
805805-- fire first.
806806{-