<div dir="ltr">I'd prefer that we didn't prescribe a meaning to this generally useful type operator. This type synonym is very easy to define in any module where it's appropriate.</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Nov 14, 2016 at 10:12 AM Baldur Blöndal <<a href="mailto:baldurpet@gmail.com">baldurpet@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg"><div class="gmail_msg">What the subject says, add<br class="gmail_msg"><br class="gmail_msg"></div>    type f ~> g = forall a. f a -> g a<br class="gmail_msg"><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">to ‘base’. Further motivation (and arguments against) in GHC Trac ticket 12772 [1].<br class="gmail_msg"></div><div class="gmail_msg"><br class="gmail_msg">[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/12772" class="gmail_msg" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/12772</a><br class="gmail_msg"></div></div>
_______________________________________________<br class="gmail_msg">
Libraries mailing list<br class="gmail_msg">
<a href="mailto:Libraries@haskell.org" class="gmail_msg" target="_blank">Libraries@haskell.org</a><br class="gmail_msg">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br class="gmail_msg">
</blockquote></div>