<div dir="ltr"><div><div>$ ghci</div><div>:lGHCi, version 8.0.0.20160122: <a href="http://www.haskell.org/ghc/">http://www.haskell.org/ghc/</a>  :? for help</div><div> Loaded GHCi configuration from /home/callen/.ghci</div></div><div><br></div><div>Prelude> :t ($)</div><div>($)</div><div>  :: forall (w :: GHC.Types.Levity) a (b :: TYPE w).</div><div>     (a -> b) -> a -> b</div><div><br></div><div>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.</div><div><br></div><div>Apologies if this is a mix-up on my part.</div><div><br></div><div>--- Chris</div><div><br></div>
</div>