Como posso obter o tipo de uma função polimórfica para uma instância de classe de tipo específica?

Por exemplo, digitando:t ap no GHCi dá o resultado ap :: Monad m => m (a -> b) -> m a -> m bSe eu já conheço a instância do Monad que vou usar é((->) r), como posso consultar o tipo deap para essa instância específica?