с Юникодом лучше вообще не использовать слово "символ"

Нормализация — способ починить раз и навсегда

апострофы надёжнее

а ещё надёжнее — кодами или мнемониками написать

есть библиотека с константами вида latinSmallLetterEWithAcute?

Сделай. На все десятки тысяч имён

в Питоне, например, это в батарейках прямо

Ты про лукап с исключением в рантайме? Такое себе "это в батарейках" по сравнению с тобою же предложенными latinSmallLetterEWithAcute

для Питона это нормальное поведение

Нормальное поведение — иметь константы там, где можно. И через import hooks это можно было сделать достаточно просто

А вообще оффтоп пошёл

Подскажите, пожалуйста, в примере с do
f - это функтор?

Ну в do без расширений может быть только монада. А в современном хаскеле оно одновременно и аппликативный функтор.

да

А, не. Там это функция двух аргеметов просто.

Спасибо

Хотя опять же, ты про какое f, которое в сигнатуре или которое в pure (f a b)?
Во втором случае это функция (a -> b -> c)

Которое в pure ( f a b )

Это функция a -> b -> c из сигнатуры

А вот у меня тут возник дурацкий вопрос. У меня есть некоторая функция, которая ищет разные варианты работы со стейтом. То есть f :: [State World ()]. Внутри есть несколько вариантов ветвления и исходя из этого получается дерево разных конечных результатов. Но некоторые действия являются независимыми и "сделать а, потом сделать б" приводит к ровно тому же результату, что и наоборот. То есть я хочу чтобы у меня реально разветвленные вычисления сливались обратно, если стейт оказывается одинаковым. Это надо самому садиться и реализовывать instance Monad для такой моей конструкции?