Я тебе больше скажу, он есть в секретном чате "Типы в языках программирования...",
Не многие про него знают, это уже deep-dive в телеграм чаты.
Когда-нибудь, когда я смирюсь с тем, что во всём русскоязычном ФП-коммьюнити, куда ни плюнь, попадёшь в понверов, я смогу залетать в такие чаты, читать умных дядь и тёть и проникаться ненавистью к коклену. Пока что я морально не готов общаться с людьми, которые общаются на одном языке с тем же джей ли, у примеру. Хотя и знаю, что там много образованных и интересных персонажей.