ладно. расскажите тогда что почитать чтобы сделать все по красоте дальше монадок. mlt и фримонады?

я тут поигрался кстати с монадками. такое дело - никак не узнать что код не требует ио. т.е. такой тупой я предполагаю что ио это такой СЕРВИС. в тс если у меня сервис не юзается - я вижу, и могу сказать мол окей, сервис мне тут больше не нужен. в хаскеле же я имею функцию IO () которая просто делает return 1 и я как бы вынужден использовать ио. или я должен просто увидеть типа ой мне тут не нужен ретурн или просто убрать ио и попытаться все сделать без него, но тоже чето не вяжется

Тебе нужен IO, если ты внутри функции достаёшь данные из  IO-монад же, не?

ну вот смотри не достаю а ио всеравно есть. как тут определить что не нужен?

ololo = return 1

как об этом узнать?

ну я хочу чтобы конпейлятор мне написал. но да видимо просто это такая динамическая часть кек

Но угадать это нереально

похоже на умножение и эквивалентность