Anfonwch hwn fel neges destun: Quantifiers on languages and codensity monads