module Control.Monad.Class.MonadTest (MonadTest (..)) where

import           Control.Monad.Reader

class Monad m => MonadTest m where
  exploreRaces :: m ()
  exploreRaces = () -> m ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()

instance MonadTest IO

instance MonadTest m => MonadTest (ReaderT e m) where
  exploreRaces :: ReaderT e m ()
exploreRaces = m () -> ReaderT e m ()
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift m ()
forall (m :: * -> *). MonadTest m => m ()
exploreRaces