Общая функция приращения в Idris2

#idris Вопрос: Просто изучая Idris 2 и пытаясь реализовать универсальную функцию приращения, которая могла бы работать с любыми вещественными/целыми числами, насколько я знаю, тип Num должен охватывать дробные числа, поэтому…