Use pattern matching rather than case, in where

Who'da thunk