Report question

Question: `inferior-haskell-type` inside a `where` clause?