Типы структур данных

С классификаторами покончено, то есть с авторской типизацией функций (и символов?). Хотел на тему предикатов ещё акцентировать статью “The 'select' Predicate“, но вспомнил, что уже была акцентирована функция select (но её нет в общем списке специфици...