Без заголовка

Пион отмечает, что запустить машинку типов на диаграммах не легче. Это тоже неожиданно.