{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances -fallow-incoherent-instances -fallow-overlapping-instances #-}

module PIL.Monads where
import PIL.Internals

type Eval = IO

class (Monad m1, Monad m2) => MonadRunM m1 m2 where
    runM :: m1 c -> m2 c

instance (Monad a) => MonadRunM a a where
    runM = id