Proof of concept showing everything in the stack can be type-safety