便乗質問というか教えてほしいんだけど
(文法うろ覚えで間違ってるだろうけどふいんきを読み取ってほしい)

unMaybe :: Maybe Int -> Int
unMaybe Just num = num
unMaybe Nothing = 0

みたいな感じで
unIO :: IO Int -> Int

とかできないの ?
できちゃうと副作用の分離が壊れちゃうような気がするんだけど.....

多分、モナドと副作用とIOをごっちゃにしてるんだと思うんだけど、
あと、上で出てきた関数単位では分離出来ているとかそういう話が
理解できてないんだと思うんだけど、
ご教授お願いします。