I was expecting weird magic with memory safety, but it was "use types."