Data.String: prefer to use lower case