Moving Trampoline flatMap impl into trait.

Trivial change to move a bit of duplicated code up into the trait. Passes all tests.