<div dir="ltr">Hello Haskell Cafe,<div><br></div><div>I had to write the following function and I was wondering if it (or its generalization to Alternative or Traversable) was exposed by some library under a different name:</div><div><br></div><div><div>first [] = Nothing</div><div>first (t:ts) = fmap (:ts) (s t) <|> fmap (t:) (first ts)</div></div><div><br></div><div>Somehow it is to "traverse" as "any" is to "all".</div><div><br></div><div>Cheers,</div><div>Paul</div></div>