Не, ну а если без рофлов и издевок, то может зафигачить что-то вроде CE из F#?
Расширяемый монадический и аппликативный синтаксический сахар, который может (в свежих версиях) разворачиваться в стейт машины
> First is some sort of “Monad trait.” There have been proposals for how this could be done with the addition of a heapful of new abstractions in Rust’s trait system, but I’m very suspicious of their ability to integrate well with type inference, unification, etc. I suspect any modelling like that would be incredibly unergonomic to actually use, because you’d have to type ascribe loads of things.