Эх, и почему типы в хаскеле не вычисляются лениво?
А тебе зочем?
Что?ы вычислялось в момент использования переменной.
Что-то это шаблонами попахивает. Точно никак иначе не сделать?
Глянь GADT
Да не, оно не осо?о критично ?ыло, вполне о?ошлось.
так он же цонпелируемый =/
А тебе зочем?
Что?ы вычислялось в момент использования переменной.
Что-то это шаблонами попахивает. Точно никак иначе не сделать?
Глянь GADT
Да не, оно не осо?о критично ?ыло, вполне о?ошлось.
так он же цонпелируемый =/