Report question

Question: Are there type signatures which Haskell can't verify?