mfix

mfix :: MonadFix m => (a -> m a) -> m a
base Control.Monad.Fix