モナドから値を取り出す関数ってないんでしょうか？
hoge :: m a -> a
みたいな．