この資料をSMS送信: Quantifiers on languages and codensity monads