concatMap f x = concat (map f x)