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