We like to think that do {x <- xs; y <- f x ; return g y} is the same as [g y | x <- xs, y <- f x], but the former does not fuse nearly as well. Let's fix that.