IOモナドはC言語の世界でいうとyaccに近い
という理解でよろしいでしょうか?