map (++ "x") (fromList [(5,"a"), (3,"b")]) == fromList [(3, "bx"), (5, "ax")]
toList (map f xs) = map f (toList xs)
toNonEmpty (map f xs) = map f (toNonEmpty xs)