[project @ 2005-02-02 13:47:24 by simonpj]

Generalise gfindtype to

	gfindtype :: (Data x, Typeable y) => x -> Maybe y

(It was (Data x, Data y) => ..., but there's no reason to
require Data y.)

Pointed out by Jim Apple