Кратенько про нововведения в систему типов Хаскеля.

[thesz]

Сейчас добавляют натуральные числа и типы-строки. Натуральные числа представлены внутри в виде целых (Integer), для них поддержаны базовые операции (+, -, *) и по заверениям создателей они работают чрезвычайно быстро.

Эти числа надо переводить в другие типы, в ту же арифметику Пеано на типах. С обычными семействами типов будут проблемы:
type family

Comments

[oxyum]

А на мой взгляд вторая запись выглядит ещё и аккуратнее, чем пачка "type instance"!

[thesz]

У них цели разные. Поэтому без открытых функций обойтись не сможем.

За исключением этого - да. Аккуратней, более предсказуемо, проще в написании и тп.