remove MonadFix from constraints