Что именно делает эта реализация перестановок в Haskell?

Я изучаю код в модуле Data.List и не могу точно обдумать эту реализацию перестановок:

Должен ли я использовать Typeclasses или нет?

У меня есть некоторые трудности, чтобы понять, когда использовать, а когда не использовать класс типов в моем коде. я имею в видусоздать свой собственный, и нетиспользовать уже определенный Типовые классы, конечно. К примеру (очень глупый ...

Как справиться с побочным эффектом с Applicative?

Я вижу везде, что

Есть ли монада, у которой нет соответствующего монадного трансформатора (кроме IO)?

Есть ли встроенная функция для получения всех последовательных подпоследовательностей размера n списка в Haskell?

Эквивалент Python Eval в Haskell

Преобразовать строку в целое число / число с плавающей точкой в ​​Haskell?

Ор-узоры в Хаскеле

Функция переименования позволяет нарушить код

Добавить для нумерованных списков на уровне типа с TypeLits