[[]] actually required for == operator with pattern matching