On: Idiomatic Monads in Rust

[leshow]

There's no discussion of implementation, we have no idea how "reasonable" an implementation would or wouldn't be. My assumption from reading this is it would require a ton of non trivial additions to the type system

[JeremyBanks → leshow]

You are not the target audience.