Trampoline Monad instance