He might have considered pattern matching a form of runtime type checking.