Как мне запустить этот метод с MonadReader и MonadIO?

Я слежу за этот пост о монаде чтения в Haskell.

Он начинается с определения:

load :: Config -> String -> IO String
load config x -> readFile (config ++ x)

Где Config — это псевдоним типа для String, представляющий имя каталога.

Метод предназначен для вывода на экран содержимого файла, например "./myFile.txt".

Я запускаю этот метод из ghci с помощью:

load "./" "myFile.txt"

Второй пример вводит монаду читателя:

load :: (MonadReader Config m, MonadIO m) => String -> m String
load x = do
    config <- ask
    liftIO $ readFile (config ++ x)

Вопрос: как запустить его из ghci?

Я пробовал с такими вещами, как:

(runReader load "myFile.txt") "./"

а радости нет.

Какая команда загружает ./myFile.txt?