инстанса, скажем, монады?
Мб как-то через параметрисити / фри теоремы
мб от обратного, показать что если бы был, то получился бы бред нужно попробовать так доказать невозможность функтора для сета, как легчайший пример
Можно глупый вопрос?
Сет не функтор так как может в себе иметь несколько типов?
там же констрейнты на тип
Обсуждают сегодня