Defined new data types
More algebraic data types