To put it in the context, it's not actually a "strong type system" that allows you to model data precisely, but algebraic data types. (And type constraints, suc

To put it in the context, it's not actually a "strong type system" that allows you to model data precisely, but algebraic data types. (And type constraints, such as non-empty collections, can be created using generalized algebraic data types, GADTs) 1) https://en.wikipedia.org/wiki/Algebraic_data_type https://en.wikipedia.org/wiki/Algebraic_data_type 2) https://en.wikipedia.org/wiki/Generalized_algebraic_data_type https://en.wikipedia.org/wiki/Generalized_algebraic_data_typ...