For people without some mathematical/language-relevant background, the following preliminaries would be useful; 1) A brief introduction to the Algebra of Type

For people without some mathematical/language-relevant background, the following preliminaries would be useful; 1) A brief introduction to the Algebra of Types (nice intuitive explanation) - https://code.egym.de/a-brief-introduction-to-the-algebra-of-types-df92f0820e5 https://code.egym.de/a-brief-introduction-to-the-algebra-of-... 2) Algebraic data type - https://en.wikipedia.org/wiki/Algebraic_data_type https://en.wikipedia.org/wiki/Algebraic_data_type 3) Comparison of programming languages (algebraic data type) - https://en.wikipedia.org/wiki/Comparison_of_programming_languages_(algebraic_data_type) https://en.wikipedia.org/wiki/Comparison_of_programming_lang...