22 Jan
2013
22 Jan
'13
9:34 a.m.
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
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