No matches were found for subject:"Is it bad style to override the built\-in function `type`\?"