Another law:  map-append,  map f (x ++ y) = map f x ++ map f y