monad comprehensions: Group and Zip monad