>>398
たとえばStateモナド（を実装した代数データ型のインスタンス）から、パターンマッチで内部状態を取り出すことが
できるよね。
モナドであることの条件にこれを禁じるルールはないと思う。