gfindtype type

[Stefan Holdermans]

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