On: Idiomatic Monads in Rust

[lucozade]

He only suggesting adding associated traits to trait definitions from what I can see.

So there shouldn't be any extra abstraction cost. And any actual cost shouldn't be any larger than it is for traits generally.

I believe most of the controversy in this space is about language complexity cost.

[devit → lucozade]

Compilation time is the other potential issue, although it's hard to predict it.