как 1989

Такое ощущение, что в США сейчас примерно как в СССР в 1989-м.

Вот легализуют марихуану и однополые браки в Калифорнии - и штаты развалятся на хрен. Калифорния-то с Невадой да Орегоном в качестве нагрузки не пропадут. Вашингтон присоединится к Канаде. Техас, Аризона, Колорадо и Нью Мексико воссоединятся с Мексикой. 13 оригинальных штатов останутся в составе, назовут себя СНГ.

нужен топос типа

Берём типизированную лямбду, берём предикаты... стоп, стоп. Что, в типизированном лямбда-исчислении есть логика? Или это надо специфицировать, чтоб не пришлось полагаться на {true, false}? Или просто брать топос, и в качестве типов - некоторую декартово-замкнутую подкатегорию топоса... тоже глупо.