また、モナドなのはIO aという「型」であり、IO a型の具体的なオブジェクトではない