`inferior-haskell-type` inside a `where` clause?
foo = undefined where
    bar = complicated
    ...

f x = x + (1::Int)