> then you have lost all static typing Do you need it at this level? At some point everything is a bit-field. We impose typing to aid our mental models and b

> then you have lost all static typing Do you need it at this level? At some point everything is a bit-field. We impose typing to aid our mental models and build useful abstractions. When interacting with the kernel we can let go, then reclaim, our types