История изменений
Исправление MOPKOBKA, (текущая версия) :
Плохо описал задачу. Нужно что бы выводился тип, по операциям в теле функции, то есть такое решение не подходит, тут вручную задается преобразование на верхнем уровне. Поэтому я и взял GADT.
Исходная версия MOPKOBKA, :
Плохо описал задачу. Нужно что бы выводился тип, по операциям в теле функции, то есть такое решение не подходит, тут вручную задается преобразование на верхнем уровне. Поэтому я и взял GADT кстати.