The type checker can be ignored in all sorts of ways
I mean, that is implicit in the statement. The question is how