¿Cómo puedo obtener el tipo de una función polimórfica para una instancia de clase de tipo específica?

Por ejemplo, escribiendo:t ap en GHCi da el resultado ap :: Monad m => m (a -> b) -> m a -> m bSi ya conozco la instancia de Monad que voy a usar es((->) r), ¿cómo puedo consultar el tipo deap para esa instancia específica?