gfindtype type

Jim Apple japple at freeshell.org
Thu Jan 27 01:26:19 EST 2005


Why is

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

and not

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

?

Jim Apple



More information about the Glasgow-haskell-users mailing list