Стол связки и монады

Question

type IM = StateT (EnvFun, EnvEval) (ReaderT EnvEval (ErrorT String IO)) 


i :: Stmts -> IM 
i Statements s (Statements e) = interpeteStmt s >>= \m ... 

И у меня проблема с пониманием. Что такое m. Да, это то, что bind для возвращения монады. Но какая монада «важна». Я не могу просто понять, потому что этот стек монады делает меня troub.e

Answer 1

m - плохо выбранное имя переменной здесь. Тип >>= - m a -> (a -> m b) -> m b, поэтому переменная m в теле i привязана к значению типа a. Какой тип a зависит от того, что возвращает interpeteStmt.