Yes, that will work. But soon we'll have poly-kinded Typeable in HEAD, which will be able to derive that instance.
Cheers, Pedro On Tue, Jan 22, 2013 at 2:34 PM, Roman Cheplyaka <r...@ro-che.info> wrote: > I just found mkTyCon3 which generates the fingerprint automatically. > (I was looking at Data.Typeable.Internal.mkTyCon before.) > That answers my question. > > (Of course, a way to derive the instance would be even better...) > > Roman > > * Roman Cheplyaka <r...@ro-che.info> [2013-01-22 15:28:55+0200] > > I need to declare a Typeable instance for a type which has an argument > > of kind * -> *. GHC refuses to derive it. > > > > What is a recommended way to go about it? > > > > In particular, if I write the instance by hand, how important is the > > fingerprint, and how could I generate it? > > > > Roman > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe