Dhall's merge function provides exhaustive pattern matching for union types. This article shows how merge works, from simple enumerations to union types with payloads, with comparisons to Haskell …