Anfonwch hwn fel neges destun: Fully abstract models for effectful λ-calculi via category-theoretic logical relations