"Categorical Combinators, Sequential Algorithms, and Functional Programming" - читать интересную книгу автора (P.-L. Curien)