[Haskell-cafe] Non-derivable Typeable

Roman Cheplyaka roma at ro-che.info
Tue Jan 22 14:28:56 CET 2013

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?


More information about the Haskell-Cafe mailing list