Control.Monad.Fix
class MonadFix m