Threading the binder depth and function name as metadata through the quotation