yeah it never got that far. as soon as people realized Option and Result were monads the devs derailed the higher-kinds train and proclaimed "Rust is not HASKAL."
an admin even changed the subreddit title to "The Rust Programming Language Does Not Have Monads" when it became apparent the devs were afraid of monads despite having decided they were the best fit in some places without actually realizing they were monads.