Monads: compose in terms of join
Merge pull request #290 from AlexanderDaniel/composeInTermsOfJoin

Monads: compose in terms of join