Pattern matching with match