@@ -102,6 +102,7 @@ instance Functor m => Semigroup (SourceT m a) where
102102-- fromStepT (Effect (Just Stop))
103103instance Functor m => Monoid (SourceT m a) where
104104 mempty = fromStepT mempty
105+ mappend = (<>)
105106
106107-- | Doesn't generate 'Error' constructors. 'SourceT' doesn't shrink.
107108instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (SourceT m a) where
@@ -179,6 +180,7 @@ instance Functor m => Semigroup (StepT m a) where
179180--
180181instance Functor m => Monoid (StepT m a) where
181182 mempty = Stop
183+ mappend = (<>)
182184
183185-- | Doesn't generate 'Error' constructors.
184186instance (QC.Arbitrary a, Monad m) => QC.Arbitrary (StepT m a) where