Задача У меня есть простая коиндуктивная запись с одним полем типа суммы.Unit дает нам простой тип...