1
Haskell - Ví dụ Monad tự động
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 …