a second attempt at looking back up the stack to find types