The wikipedia articles are terribly written (for math loves or people who just need to refresh their knowledge).
What is a “sum” of types? What is a product of types? Is it possible to Cat x Dog
or Cat + Dog
? What does that even mean?
No comments yet!