What's important about the Keep is that it shows t...
# arrow
r
What's important about the Keep is that it shows this is doable and results in improvements in safety and encoding in user code.