Про IO и коиндукцию.

[nivanych]

Как вы думаете, делать в неком (абстрактном) языке
всяческое IO, как экземпляр терминальной коалгебры
с очень таким странным "состоянием", это очень плохо?