Что происходит в этом выражении?

Question

Я читаю через это blog post о написании API в Haskell с Scotty, и я наткнулся на раздел о монадных трансформаторах. Я понимаю понятие монады трансформаторов, но я не могу обернуть мою голову вокруг того, что происходит здесь:

let r m = runReaderT (runConfigM m) c 

Как ссылка выражения m когда m объявляется в том же let выражении, которое использует его? Что здесь происходит? Что такое m?

Answer 1

Это (местная) декларация функции с именем r. m - параметр функции. Это эквивалентно:

let r = \m -> runReaderT (runConfigM m) c