Fun Trivia Fact: Rust&#x27;s type system was[1] Turing complete. So you could actually have monads. You just wouldn&#x27;t want to.<p>1: The program that proved this no longer compiles, so we&#x27;re not sure if the type system is or is not at the moment.