Monadic trampoling library