module Reversed where

-- base
import Data.Void

-- transformers
import Control.Monad.Trans.Class
import Control.Monad.Trans.Reader

-- text
import Data.Text (Text)

-- megaparsec
import Text.Megaparsec

type ParserT = ParsecT Void Text

myParser :: ParserT (Reader r) a
myParser = choice [try parserA <|> try parserB <|> parserC]

parserA :: ParserT (Reader r) a
parserA = do
  cnf <- lift ask
  undefined cnf

parserB, parserC :: Monad f => ParserT f a
parserB = undefined
parserC = undefined