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 <roma@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 <roma@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