Part way through debugging foldRight with trampoline