понял, спасибо

Граждане, такое дело:
была у меня функция в JS которую я подсмотрел в Debug.Trace - trace. Но работала у меня, как и всё в JS, чрезвычайно просто:

const trace =
   (x, ...comments) =>
       { console.log(x, ...comments); return x }

Я вот сейчас попытался её восстановить на Хаскеле, и не пойму как вернуть в область чистых вычислений значение x, которое было испльзовано.
Я головой конечно понимаю, что надо развернуть монаду в значение, но не пойму как. Я просто ещё до 10-й лекции Юры не дошёл, и не хочу скакать. А трассировать хочу прямо сейчас.

adhocTrace :: Show (IO b) => IO b -> IO b
adhocTrace x = print x >> x

вот собственно: хочу превратить последний IO b в b

Это делается лишь через >>=, <*> и <$>

Т.е.
trace x >>= \value -> anotherIOAction value
Тут value имеет тип b, но anotherIOAction должно порождать новое IO действие для их композиции

Собственно, можно воспользоваться do-нотацией для облегчения написания такого кода

Честно такой trace не написать.

Ещё есть ансейф-штуки, но это не то, что ты хочешь

ну вообще есть некоторое trace String a, которое возвращает a

Да-да, научи ансейфу

Так а что за другое IO? Какая-то имитация инпута?  Мол сказать внутри функции чтобы шла домой?

The function is not referentially transparent: its type indicates that it is a pure function but it has the side effect of outputting the trace message.

These can be useful for investigating bugs or performance problems. They should not be used in production code.

Ай ноу. Ну

Это ж дебаг

ну вот тогда взять пакет Debug.Trace и пользоваться

Нет, это просто любая другая функция, я её так для удобства назвал. Значение же не само по себе нужно, а чтобы потом в другом io использовать

значение нужно, чтобы потом его дальше в функции использовать же, не?

я же наоборот хочу от эффекта избавиться

и продолжить компутацию