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

[Christopher Done]

Actually I suppose the newtype one makes sense because it's opaque and
not paramerized so it doesn't inspect the unMaybe. I'll think about
this some more.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe