Difficulty of monad types in Rust

[notriddle]

Okay, I've split this monad tangent out into its own thread. Link back to the old currying one.