The SecureVec is nice. I've been waiting to see this become more common. Reminds me of this talk at ICFP 2010 on compile time Authorization checks.

http://jamiemorgenstern.com/papers/ml10sectyp.pdf