typeable reflection is trustworthy