
27 Jan
2005
27 Jan
'05
1:26 a.m.
Why is gfindtype :: (Data x, Data y) => x -> Maybe y and not gfindtype :: (Data x, Typeable y) => x -> Maybe y ? Jim Apple