(at which point it would be dandy if the type syst...
# random
m
(at which point it would be dandy if the type system would allow you to force it to be never written to again...)