As a casual, I don't really see what Purescript gives that would compel me to try it over Typescript. The starting example has parts of it that feel unnecessar

As a casual, I don't really see what Purescript gives that would compel me to try it over Typescript. The starting example has parts of it that feel unnecessarily verbose, such as the ":: String -> String" and the "<> name <>" Perhaps someone who has been using it can provide some insight.