title: How to extract value from monadic action
body: <p>Is there a built-in function with signature <code>:: (Monad m) =&gt; m a -&gt; a</code> ?</p>
  
  <p>Hoogle tells that there is no such function. </p>
  
  <p>Can you explain why?</p>