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

[Ryan Ingram]

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
<chrisdone at googlemail.com> wrote:
> On 24 September 2010 22:18, Christopher Done <chrisdone at googlemail.com> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>