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?


Haskell-Cafe mailing list

Reply via email to