Monad comprehension

From Free net encyclopedia