Исправление Siborgium, (текущая версия) :
Я отлично понимаю, что это. Я сам немало писал на расте и хаскеле, тыкал идрис 1/2. Я просто рекомендую вам сесть и написать is_same. Если не получится, спросите себя о том, почему это не получилось сделать. Если вам известен тип – почему вы не можете воспользоваться информацией о нем?
Исходная версия Siborgium, :
Я отлично понимаю, что это. Я сам немало писал на расте и хаскеле, тыкал идрис 1/2. Я просто рекомендую вам сесть и написать is_same. Если не получится, спросите себя о том, почему это не получилось сделать.