"Categorical combinators, sequential algorithms, and functional programming" - читать интересную книгу автора (P. -L Curien)