だけど関数型と副作用の問題って本当に解けるものなのか?
解けるときはどういう形で解けるんだ?
モナドはどこまでそれを解いたんだ?