- state ← atomically $ readItr itrState id itr
- reqM ← atomically $ readItr itrRequest id itr
- res ← atomically $ readItr itrResponse id itr
+ state ← atomically $ readItr itrState itr
+ reqM ← atomically $ readItr itrRequest itr
+ res ← atomically $ readItr itrResponse itr