Я хотел бы изучить концепцию, чтобы я мог понимать и использовать библиотеки, такие какмашины.

Я пытался следоватьРазговор Рунара Бьярнасона о машинах, но информации слишком мало, в основном просто набор типов данных. Я даже не могу понять, чтоk в

newtype Machine k o = Step k o (Machine k o)
data Step k o r = Stop
                | Yield o r
                | forall t . Await (t -> r) (k t) r

или чтоt и почему это количественно. Или какова концептуальная разница междутрубопровод-подобные библиотеки имашины?