Tôi đang cố gắng tạo kiểu dữ liệu của riêng mình, đây sẽ là một phần của lớp Monad, nhưng newtype Container a = Container a deriving Monad cho tôi lỗi này: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type …
Tôi có một tá các loại mới như thế này: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Tôi muốn sử dụng lại các trường hợp hiện có: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Thực hiện các trường …