- -- | The fixed point of a monadic computation.
- -- @'mfix' f@ executes the action @f@ only once, with the eventual
- -- output fed back as the input. Hence @f@ should not be strict,
- -- for then @'mfix' f@ would diverge.
- mfix :: (a -> m a) -> m a
+ -- | The fixed point of a monadic computation.
+ -- @'mfix' f@ executes the action @f@ only once, with the eventual
+ -- output fed back as the input. Hence @f@ should not be strict,
+ -- for then @'mfix' f@ would diverge.
+ mfix :: (a -> m a) -> m a