モナドはdo記法があまりにも的確すぎて、数学の歴史を愚弄している