{-# LANGUAGE TypeFamilies, NoMonomorphismRestriction, MultiParamTypeClasses, FlexibleInstances,
             NoImplicitPrelude, FlexibleContexts #-}

module Control.RMonad.Fix (RMonadFix (..), fix) where

import Control.Monad.Fix (fix)
import Control.RMonad

class RMonad m => RMonadFix m where
    mfix :: Suitable m a => (a -> m a) -> m a