> Those bits of code are the ones usually called "impossible to understand", which are fully described by their types, and which can be implemented with this ap

> Those bits of code are the ones usually called "impossible to understand", which are fully described by their types, and which can be implemented with this approach. Once I let go of needing to understand how a piece of code turns into CPU instructions, I found that this code is actually the easiest to understand!