<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="">FWIW, i personally use `natural-transformation` library [1], which<div class="">provides this exact type alias, and also newtype around it (which is occasionally useful).</div><div class=""><br class=""></div><div class="">I’d rather promote the usage of the library (which has only `base` as dependency!).</div><div class=""><div class=""><br class=""></div><div class="">- [1]: <a href="https://hackage.haskell.org/package/natural-transformation-0.3.1/docs/Control-Natural.html" class="">https://hackage.haskell.org/package/natural-transformation-0.3.1/docs/Control-Natural.html</a></div><div class=""><br class=""></div><div class=""><div class=""><div><blockquote type="cite" class=""><div class="">On 14 Nov 2016, at 20:11, Baldur Blöndal <<a href="mailto:baldurpet@gmail.com" class="">baldurpet@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="">What the subject says, add<br class=""><br class=""></div> type f ~> g = forall a. f a -> g a<br class=""><div class=""><br class=""></div><div class="">to ‘base’. Further motivation (and arguments against) in GHC Trac ticket 12772 [1].<br class=""></div><div class=""><br class="">[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/12772" class="">https://ghc.haskell.org/trac/ghc/ticket/12772</a><br class=""></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></div></div></body></html>