Я прочитал в Real World Haskell Он работает следующим образом: когда выражение seq вычисляется, оно заставляет вычислить его первый аргумент, затем возвращает его второй аргумент. На самом деле он ничего не делает с первым аргументом:...

Саймон Марлоу в своей книге «Параллельное и параллельное программирование на Haskell» пишет: Операция вставки имела эту строку: putMVar m (Map.insert name number book) Это помещает в MVar неоцененное выражение Map.insert name number book ....