Moving Trampoline flatMap impl into trait.