Module monad
monadic
definition of Bind and Monad traits based monadic macro
Bind as supertrait of IntoIterator
Bind
IntoIterator