New type of ($) operator in GHC 8.0 is problematic

[Christopher Allen]

$ ghci
:lGHCi, version 8.0.0.20160122: http://www.haskell.org/ghc/  :? for help
 Loaded GHCi configuration from /home/callen/.ghci

Prelude> :t ($)
($)
  :: forall (w :: GHC.Types.Levity) a (b :: TYPE w).
     (a -> b) -> a -> b

As someone that's working on a book for beginners/intermediates and that
mentions ($) early'ish, this is pretty disconcerting. Particularly as we're
not going to explain Levity or TYPE. Is this intentional? My only ~/.ghci
flag is fno-warn-type-defaults.

Apologies if this is a mix-up on my part.

--- Chris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160204/e22d5071/attachment.html>