Reversed type checking polarity