Como extrair valor da ação monádica

Existe uma função interna com assinatura:: (Monad m) => m a -> a ?

O Google diz que não existe essa função.

Pode explicar por quê?

questionAnswers(8)

yourAnswerToTheQuestion