Как извлечь ценность из монадического действия

Есть ли встроенная функция с подписью:: (Monad m) => m a -> a ?

Гугл говорит, что такой функции нет.

Вы можете объяснить, почему?