История изменений
Исправление AndreyKl, (текущая версия) :
При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку множества значений у типов Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).
Интересное уточнение. Как по мне, так похоже на правду, вроде бы мы можем поставить тривиальную стрелку в данном случае, но не могу сообразить до конца. Ушёл думать ( со мной тоже случается :) )..
Исходная версия AndreyKl, :
При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку множества значений у типов Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).
Интересное уточнение. Как по мне, так похоже на правду, вроде бы мы можем поставить тривиальную стрелку в данном случае, но не могу сообразить до конца. Ушёл думать..