Being very generic. One can define a very efficient array structure, define its Monad instance and be able to use it in comprehensions. The point is that compre

Being very generic. One can define a very efficient array structure, define its Monad instance and be able to use it in comprehensions. The point is that comprehensions are not fixed to a particular data structure by the language, and can be used with any user-definable Monad.