Seol mar théacs é seo: Quantifiers on languages and codensity monads