pattern matching for instanceof