Let me restate:
gfindtype's declaration should be
gfindtype :: (Data x, Typeable y) => x -> Maybe y
Jim
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users