Monads: compose in terms of join

Exercise 13 asks to implement `flatMap` or `compose` in terms of `join`.

I've added `compose` in terms of `join`.