>The following "dubious" instances are now in the syb package (in the
>Data.Generics.Instances module): DataType TyCon TypeRep Handle ThreadId
>StablePtr (a -> b) (IO a) (ST s a) (STM a) (IORef a) (TVar a) (MVar a). All
>the other instances are in the base package, Data.Data module.
Contrary to that list, 'Data (a->b)' is still in Data.Data?