Overall notes, the chapter moves through concepts very quickly. I think it needs some deeper explications of each concept before going forward
For something about type universes that may help a bit, one thing I remember about type universes that confused me at the time I learned them was that unlike OOP typing, an object cannot be a member of multiple types
3.4.4.1. Introduction Rules
Lambda expressions are not explained sufficiently before being used here. Would be helpful to describe the syntax here and what it means
Chapter 3
Overall
Overall notes, the chapter moves through concepts very quickly. I think it needs some deeper explications of each concept before going forward
For something about type universes that may help a bit, one thing I remember about type universes that confused me at the time I learned them was that unlike OOP typing, an object cannot be a member of multiple types
3.4.4.1. Introduction Rules
Lambda expressions are not explained sufficiently before being used here. Would be helpful to describe the syntax here and what it means