Chciałbym nauczyć się tej koncepcji, aby móc zrozumieć i używać bibliotek takich jakmaszyny.

Próbowałem podążaćRúnar Bjarnason mówi o maszynach, ale jest za mało informacji, w zasadzie tylko kilka typów danych. Nie mogę nawet zrozumieć, cok jest w

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

lub cot jest i dlaczego jest skwantyfikowany. Albo jaka jest różnica pojęciowa międzyprzewódjak biblioteki imaszyny?