Cómo extraer valor de la acción monádica

¿Hay una función incorporada con firma:: (Monad m) => m a -> a ?

Hoogle dice que no existe tal función.

¿Puedes explicar porque