Всё по теме Freer Monad