In Haskell type variables in expression type signatures do not
refer to the type variables in the function's type signature.
If the type signature is introduced artificially by the inliner
(see ec9047a7), type variables are still scoped.