| I was surprised to see Data instances for (a->b) and IO a, | since for such non-algebraic types, there isn't anything to | gfoldl or gmap over. And those instances do indeed seem | to offer very little functionality (not to mention the runtime | errors..). I'm surprised too. I thought Data meant, well, data. Does anyone out there *want* functions and IO in Data? | ps. What is the right list for this topic? Possibly generics@haskell.org Simon