Haskell

У меня между комбинаторами в теоретическом изложении ( классике S,K.I) и тем что делает здесь Мегапарсек - лежит пропасть непонимания. НА каком принципе или на каком основании фреймворк Мегапарсек затащил к себе этот термин? Зачем в этой задаче мне знать кто там комбинатор? И как я это использую? Или комбинатоор - это общий подход языка Хаскель. Но я его не видел в туториалах. По классике туториалы описывали модули и функции и все.