On Tue, Nov 27, 2012 at 5:35 PM, Ian Lynagh <ig...@earth.li> wrote: > [...] adding DeriveDataTypeable > hopefully wouldn't be too controversial [...]
This is a little tricky since the Data class itself makes (essential, I think) use of Rank2Types. Typeable ought to be fine, but it might be wise to see what GHC decides to do on that front, first, e.g. whether it's going to autoderive all instances or forbid user instances or anything else similarly bold. _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime