Pattern matching and union types are, in my view, one of the concepts in programming which don't get the attention they deserve. In this post, I'm going to show how they can help us write more declarative code.