모나드의 어떤 점이 하스켈 모나딕 IO 방식을 더 함수함수하게 만들어주는거에요? 본질적으로 IO는 비순수하지 않나..

댕청한 질문 죄성..