Deakstadieđáhus: Quantifiers on languages and codensity monads