<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Sep 11, 2016 at 1:25 PM, Matthew Pickering <span dir="ltr"><<a href="mailto:matthewtpickering@gmail.com" target="_blank">matthewtpickering@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">The type of `deleteBy` in `Data.List` could easily be generalised in a<br>
useful way.<br>
<br>
```<br>
deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a]<br>
```<br>
<br>
to<br>
<br>
```<br>
deleteBy :: (a -> b -> Bool) -> a -> [b] -> [b]<br>
```<br>
<br>
There is this closed ticket but no reasons for not generalising.<br>
<br>
<a href="https://ghc.haskell.org/trac/ghc/ticket/3399" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/<wbr>ghc/ticket/3399</a><br>
<br>
Discussion Period: 1 week.<br>
<br>
Matt<br>
______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div><div class="gmail_extra">+1, seems straightforward. My only concern: does anyone have real life examples of code where this generalization would lead to type inference problems? I can't think of anything offhand.<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Michael</div></div>