In TypeScript 1.4, you get type-safe support even when you may be working with multiple types, better type checking when inferring types and aliases for type definitions. TypeScript continues to gain ...

The operations that may be performed on an ADT completely depend on the ADT’s purpose. For example, an ADT for a stack might include operations such as initialization, pushing data, popping data, ...