implement tagged reflection.