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