Haskellで副作用が書けることだけは知ってるけど
各副作用に対して、スコープやアクセス権の管理はどこまで出来るん?