4 ms·

Exactly! And free theorems and polymorphism means even more things work as someone that understands the core abstractions would expect them to.