Where does the `TypeError` comes from?