Currently they return `boolean` but instead they should narrow to the specific instance of the supertype.
Currently they return
booleanbut instead they should narrow to the specific instance of the supertype.