Etc

Where are union types from TypeScript?

First, you should read some useful information from Typed Racket to learn how union types and occurence typing work:

Once you have read through these, you will want to use

If you fully understand the above and you’re looking for a challenge, try taking a look at the implementation the associated blog post here: https://github.com/justinwoo/purescript-Hotteok