Re: [Haskell-cafe] Re: Can't make a derived instance of `Typeable (A B)': `A' has arguments of kind other than `*'

There is added complication because there are two possible extensions that can derive that instance: either GeneralizedNewtypeDeriving or DerivingDataTypeable. I think the latter always wins (which makes sense, it's probably what you want). -- ryan On Fri, Sep 24, 2010 at 1:41 PM, Christopher Done wrote:

On 24 September 2010 22:18, Christopher Done wrote:

...

   Can't make a derived instance of `Typeable (A Maybe)':      `A' has arguments of kind other than `*'    In the stand-alone deriving instance for `Typeable (A Maybe)'

Nevermind, I figured it out. The arguments refer to the type constructor A. I'll think some more before posting a thread next time. Ciao! _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe