Haskell pattern match analsyis checker