Extensions to the core String library.
String
removePrefix : String -> String -> String
Strip a leading string from a String.