TypeScript and Haskell: Unions & Singletons

I briefly explore union types and singleton types in Haskell and TypeScript.