gistfile1.txt

import Data.Text
import Control.Monad.Reader

data ZResult a =
  ZVal a
  | ZNotFound
  | ZFail Text
  | ZUnauth Text

newtype ZResultT m a = ZResultT {
  runZResultT :: m (ZResult a)
}

instance Monad m => Monad (ZResultT m) where

newtype Mth m a =
  Mth (ReaderT String m a)

instance MonadTrans Mth where

type MthX =
  Mth (ZResultT IO)


mth ::
  (MonadTrans t, Monad m) =>
  ZResult a
  -> t (ZResultT m) a
mth a =
  lift . ZResultT . return $ a