Trampoline Monad Transformer
Foldable#foldLeftMTrampoline, foldRightMTrampoline
TrampolineTTest