Trampoline Monad Transformer
add monadic trampoline methods
TrampolineTTest