<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Sun, 7 Feb 2016 at 17:16 Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
I would agree with this... except that the version of ($) in base in 7.8 and 7.10 already *was* generalized in this way. But no one got as itchy about the OpenKind that appears in 7.10's `:i $` as they are about the guck that appears in 8.0's `:t ($)`. So moving it out now would break code in the wild like <a href="https://ghc.haskell.org/trac/ghc/ticket/8739" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/8739</a></blockquote><div><br></div><div>My GHC 7.10 doesn't seem to have any OpenKind stuff:<br><br>GHCi, version 7.10.3: <a href="http://www.haskell.org/ghc/">http://www.haskell.org/ghc/</a>  :? for help<br>Prelude> :i $<br>($) :: (a -> b) -> a -> b        -- Defined in ‘GHC.Base’<br>infixr 0 $<br></div></div></div>