haskell - let 内で定義された関数の型を宣言するにはどうすればよいですか

Question

私は次のようなものを書きたい：

f :: (a -> b) -> a -> c -> b
f g =
   let inner :: a -> c -> b
       inner x y = g x
   in inner

しかし、これによりエラーが発生します.fとして宣言されているのと同じ「a」および「b」型を参照しようとしていることを認識しないためです

内部に適切な型を明示的に指定するにはどうすればよいですか?