Qual é a diferença quando escrevo isso? data Book = Book Int Int versus newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically
Eu tenho uma dúzia de tipos novos como este: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Quero reutilizar instâncias existentes: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Implementar essas instâncias e ter todo o código padrão é a...
Estou tentando criar meu próprio tipo de dados, que fará parte da classe Monad, mas newtype Container a = Container a deriving Monad me dá este erro: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type...