Structural Typing and Algebraic Data Types

With Typescript