How GADT and Pattern Matching look like in Typescript? Let's find out with an hands-on exercise