Наблюдение за ленью в Хаскеле

Можно ли написать функцию на Haskell, которая зависит от того, вычисляются ли уже значения или являются thunks? Например. если

Не удается найти функцию, аналогичную liftM2

Лениво связывая узел для 1-мерного динамического программирования

Несколько лет назад я прошел курс алгоритмов, где мы давали следующую задачу (или такую):Есть здание

Haskell - «Последнее утверждение в конструкции do должно быть выражением»

Как сказано в названии:

Объектно-ориентированное программирование на Хаскеле

Я пытаюсь получить представление об объектно-ориентированном программировании на языке Haskell, зная, что все будет немного по-другому из-за отсутствия измен...

Строка вывода на печать на Haskell

Универсальный тип трансформеров в Хаскеле

Что делает (ф.). значит в Хаскеле?

Как написать монаду, которая печатает «шаг i из N» при выполнении каждого оператора в монаде?

Разграничение монады IO

Это'Приятно знать (по крайней мере, в Safe Haskell) из подписи, выполняет ли что-либо действия IO, но IO охватывает много разных вещей -