История изменений
Исправление qnikst, (текущая версия) :
Да, я существенно изменил то утверждение, которое я защищаю.
Prelude Control.Monad.State> runState (undefined >>= \_ -> return 1) 4
(1,*** Exception: Prelude.undefined
runState, т.к. нужно проверить наличие эффектов.
Исходная версия qnikst, :
fmdw, давай:
Prelude Control.Monad.State> runState (undefined >>= \_ -> return 1) 4
(1,*** Exception: Prelude.undefined
runState, т.к. нужно проверить наличие эффектов.