comprehension-monad 3.3.2