add monadic trampoline methods
TrampolineTTest