Saya butuh bantuan dalam mencari kesalahan kompiler yang benar-benar membuat saya gila... Saya memiliki kelas tipe berikut: infixl 7 --> class Selectable a s b where type Res a s b :: * (-->) :: (CNum n) => (Reference s a) ->...

Saya dapat membuat lensa untuk bidang terakhir ( c ) di tipe data saya dengan melakukan hal berikut: {-# 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...

Saya ingin mewakili konsep batas atas dalam kode saya, jadi saya membuat kesatuan yang terdiskriminasi: data UpperBound a = UpperBound a | DoNotCare deriving (Eq, Read, Show) Saya kemudian secara manual memperoleh beberapa contoh kelas tipe...