Monadic Trampoline

A monadic trampoline for stack-overflow free programming.