How to combine TaskT with the monad instance of Trampoline to get stackless async computations?

Question

Trampoline is a monad and adds stack-safety to a monad transformer stack. It achieves this by relying on a special interpreter (monadRec), which is