Practicing Typescript: Generalized Algebraic Data Types