[Haskell-cafe] Re: Can't make a derived instance of `Typeable (A
B)': `A' has arguments of kind other than `*'
chrisdone at googlemail.com
Fri Sep 24 16:35:56 EDT 2010
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.
More information about the Haskell-Cafe