No matches were found for subject:"\[Haskell\-cafe\] same function's type accepted in top level, but rejected in where clause"