tweak. avoid allocate Monad[TrampolineT[M, A]]
fix Scala2.9 build