[Haskell-cafe] HXT and types in Control.Arrow.ArrowTree

[Robert Vollmert]

Hello,

On Mar 23, 2008, at 18:53, Albert Y. C. Lai wrote:
>
> You are right, there is no harm generalizing deep, since a related  
> combinator, multi, has the more general type.

thanks for the reply! Perhaps I'll suggest the generalization to the  
HXT authors. Meanwhile, I've discovered examples of just the kind of  
thing I'm trying to do at http://www.haskell.org/haskellwiki/HXT/Practical/ 
  .

>  Meanwhile, I don't think
>
>> deep (hasName "a") >>> getLink
>
> looks too bad. :)

That's true, it was a bad example. It's just that if getLink already  
includes the hasName test, the above seems redundant.

Cheers
Robert