introduced maplessIsKindOf: