Диагноз: хаскелист
Хаскелисты такое не любят
Любят, но тщательно это скрывают
Дане. Хорошая фича. Как в агде ;-)
Может ещё рекорды из модулей распаковывать захочешь?
И модули как тайпклассы прокидывать
record R : Set where field x : X y : Y z : Z module M where x = ... y = ... r : R r = record { M; z = ... }
Обсуждают сегодня