"Predicate Functors Revisited - JSL 1981" - читать интересную книгу автора (Quine W. V. O)