文脈という比喩だと、Maybe、List、Eitherモナドまではイメージできるんだけど
StateやIOモナドになると全然イメージできない。