27 Jan
2005
27 Jan
'05
2:26 a.m.
Jim,
Why is
gfindtype :: (Data x, Data y) => x -> Maybe y
and not
gfindtype :: (Data x, Typeable y) => x -> Maybe y
?
Because you're not always interested in a subterm of the same type as the parent node.
Ouch, answered your question before I really read it, i.e., before a first cup of coffee. Sorry. Regards, Stefan