<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi Jakub,<div class=""><br class=""></div><div class="">The core libraries committee helps maintain libraries that are already critical to the Haskell ecosystem. It doesn’t select new libraries to be recommended to users. It’s possible that the search package is a hidden gem that more people need to know about. To accomplish that people will need to write software using it, market it with blog posts, and bring it up in discussions.</div><div class=""><br class=""></div><div class="">Best Regards,</div><div class="">Eric Mertens</div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Jan 24, 2017, at 5:57 AM, Jakub Daniel <<a href="mailto:jakub.daniel@gmail.com" class="">jakub.daniel@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div dir="ltr" class="gmail_msg"><div class="gmail_msg"><div class="gmail_msg">Hello,<br class="gmail_msg"><br class="gmail_msg"></div>I apologize in case this is not the right place to bring this question/proposal up. Some time ago I stumbled upon the Selection Monad [1] (also referred to as Search from the search package on hackage). Its relation to the Continuation Monad and the usefulness demonstrated in [1] made me wonder whether it would be nice to include Selection Monad in the core libraries along the Continuation Monad (in mtl and transformers) with all the business of selections attaining continuations. I can imagine the pattern to be too little recognised to justify such an addition, yet the theoretical connection to the Continuation Monad seems to be an interesting one and worth being addressed.<br class=""><br class=""></div><div class="gmail_msg">Best,<br class=""><br class=""></div><div class="gmail_msg">Jakub Daniel<br class="gmail_msg"></div><div class="gmail_msg"><br class="gmail_msg"></div>[1] Jules Hedges. <b class="gmail_msg">Monad transformers for backtracking
search</b>. In <i class="gmail_msg">Proceedings of MSFP 2014. </i><a href="https://arxiv.org/abs/1406.2058" class="gmail_msg" target="_blank">https://arxiv.org/abs/1406.2058</a><br class="gmail_msg"></div></div>
_______________________________________________<br class="">Libraries mailing list<br class=""><a href="mailto:Libraries@haskell.org" class="">Libraries@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries<br class=""></div></blockquote></div><br class=""></div></body></html>