haskell - 特定の型クラス インスタンスのポリモーフィック関数の型を取得するにはどうすればよいですか?

Question

たとえば:t ap、GHCi と入力すると、結果が得られます。

ap :: Monad m => m (a -> b) -> m a -> m b

使用する Monad インスタンスが であることが既にわかっている場合、その特定のインスタンス((->) r)のタイプを照会するにはどうすればよいですか?ap