Report question

Question: Implying equality in a Haskell pattern match