Conversely, TypeScript is my favourite type system because it has to support the wild things people did in untyped languages.
You didn't like Purescript? It looked pretty cool to me. Its main competition back in the day was Elm, but Typescript has now taken over. From a distance Typescript seems to have too many gaps. I haven't used it though.
Conversely, TypeScript was made from the get-go with types in mind. hurr durr.
Haha, it is actually my least favorite statically typed lang for this very reason.