ฉันสามารถสร้างเลนส์สำหรับฟิลด์สุดท้าย ( c ) ในประเภทข้อมูลของฉันได้โดยทำดังนี้: {-# LANGUAGE DuplicateRecordFields #-} data X1 a c = X1 { a' :: a, b' :: Int, c' :: c } data X2 a b c = X2 { a' :: a, b' :: b, c' :: c } class HavingFieldC x cs ct...