No matches were found for subject:"\[Haskell\-cafe\] Is it possible to prove type \*non\*\-equality in Haskell\?"