As a Rust monolingual the idea of being forced to use Ada sounds like a ton of fun. (I'm really curious about it)