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