I think there's a related question here
regarding whether [tailcall] does "the
right thing" with stack traces in the first
place.  I recall encountering that question
before, but I have not yet located any
tickets or other notes about it.