gistfile1.txt

module Transformer where

import Control.Monad.Reader
import Control.Monad.Trans

data Config = Config { filename :: String } deriving (Show)

c = Config { filename = "a.txt" }

loadFile :: ReaderT Config IO String
loadFile = do
     -- This is how I assume I get the filename from the config
     fname <- ask filename
     
     -- How am I supposed to provide the fname to loadFile so that I can end up with a ReaderT Config IO String?
     return loadFile fname