Monad reader и частичное применение функций

Question

Поскольку частично примененные функции are instances of the MonadReader, почему этот код неправильный?

runReader (\x -> x + 2) 4 

или даже

runReader (\x -> pure $ x + 2) 4 

Answer 1

Будучи экземпляром MonadReader позволяет использовать "читатель операции" (local, ask, asks), но runReader явно для запуска типа Reader.

Так, например, вы можете сделать это из-за monadReaderFun:

readerFunction :: Int -> Int 
readerFunction = do 
    x <- ask 
    pure (x + 2) 

Но нет никакой необходимости «запустить» его, как вы делаете с Reader или ReaderT набранного значения.