The doc-string for trampoline
starts "trampoline can be used to convert algorithms requiring mutual
recursion without stack consumption. ". This is inaccurate: trampoline
applies only to mutual tail recursion.
Replace this with "trampoline can be used to convert algorithms employing mutual tail recursion into a form that does not consume stack".