История изменений
Исправление quasimoto, (текущая версия) :
Тогда
less (LitE (IntegerL a)) (LitE (IntegerL b)) = compare a b
sortE (ListE ys) = ListE $ sortBy less ys
И quotы можно прямо в main делать, это splicовые функции надо выносить в отдельный модуль.
Исходная версия quasimoto, :
Тогда
less (LitE (IntegerL a)) (LitE (IntegerL b)) = compare a b
sortE (ListE ys) = ListE $ sortBy less ys