Come estrarre valore dall’azione monadica

Esiste una funzione built-in con firma :: (Monad m) => ma -> a ?

Hoogle dice che non esiste tale funzione.

Puoi spiegare perché?