removal of unnecessary MonadFix