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

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

Google сообщает, что такой функции нет.

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