أرسل هذا في رسالة قصيرة: Fully abstract models for effectful λ-calculi via category-theoretic logical relations