You should avoid creating left-leaning towers of `Cont` here. Running the trampoline with a tower like `Cont(Cont(Cont(Cont(...` will overflow the stack.