Control.Monad.Fix
class
MonadFix
m
fix