@@ -481,7 +481,7 @@ fromStreamK = Unfold step pure
481481-- /Since: 0.8.0/
482482--
483483{-# INLINE_NORMAL fromStream #-}
484−fromStream :: (IsStream t, Applicative m) => Unfold m (t m a) a
484+fromStream :: (IsStream t, Monad m) => Unfold m (t m a) a
485485fromStream = lmap IsStream.toStream fromStreamK
486486
487487-------------------------------------------------------------------------------
@@ -525,7 +525,7 @@ consM action unf = Unfold step inject
525525-- /Since: 0.8.0/
526526--
527527{-# INLINE_LATE fromList #-}
528−fromList :: Applicative m => Unfold m [a] a
528+fromList :: Monad m => Unfold m [a] a
529529fromList = Unfold step pure
530530
531531 where
@@ -539,7 +539,7 @@ fromList = Unfold step pure
539539-- /Since: 0.8.0/
540540--
541541{-# INLINE_LATE fromListM #-}
542−fromListM :: Applicative m => Unfold m [m a] a
542+fromListM :: Monad m => Unfold m [m a] a
543543fromListM = Unfold step pure
544544
545545 where
@@ -557,7 +557,7 @@ fromListM = Unfold step pure
557557-- /Since: 0.8.0/
558558--
559559{-# INLINE replicateM #-}
560−replicateM :: Applicative m => Int -> Unfold m (m a) a
560+replicateM :: Monad m => Int -> Unfold m (m a) a
561561replicateM n = Unfold step inject
562562
563563 where
@@ -575,7 +575,7 @@ replicateM n = Unfold step inject
575575-- /Since: 0.8.0/
576576--
577577{-# INLINE repeatM #-}
578−repeatM :: Applicative m => Unfold m (m a) a
578+repeatM :: Monad m => Unfold m (m a) a
579579repeatM = Unfold step pure
580580
581581 where
@@ -589,7 +589,7 @@ repeatM = Unfold step pure
589589-- /Since: 0.8.0/
590590--
591591{-# INLINE iterateM #-}
592−iterateM :: Applicative m => (a -> m a) -> Unfold m (m a) a
592+iterateM :: Monad m => (a -> m a) -> Unfold m (m a) a
593593iterateM f = Unfold step id
594594
595595 where
@@ -627,7 +627,7 @@ fromIndicesM gen = Unfold step pure
627627-- /Since: 0.8.0/
628628--
629629{-# INLINE_NORMAL take #-}
630−take :: Applicative m => Int -> Unfold m a b -> Unfold m a b
630+take :: Monad m => Int -> Unfold m a b -> Unfold m a b
631631take n (Unfold step1 inject1) = Unfold step inject
632632
633633 where
@@ -673,7 +673,7 @@ filter f = filterM (return . f)
673673-- /Since: 0.8.0/
674674--
675675{-# INLINE_NORMAL drop #-}
676−drop :: Applicative m => Int -> Unfold m a b -> Unfold m a b
676+drop :: Monad m => Int -> Unfold m a b -> Unfold m a b
677677drop n (Unfold step inject) = Unfold step' inject'
678678
679679 where