User Guide mentions outdated `($)` type
Summary
in the User Guide, it says
($) :: forall r (a :: Type) (b :: TYPE r). (a -> b) -> a -> b f $ x = f x
[...] this is the true type of GHC's
$
operator
But since this commit, the true type is
($) :: forall repa repb (a :: TYPE repa) (b :: TYPE repb). (a -> b) -> a -> b
(Note the added representation polymorphism in a
)
Proposed improvements or changes
I suppose ideally we should add the correct type as well and explain why the ($) f = f
implementation makes it possible to use, and mention that it's more strict
Environment
- GHC version used (if appropriate): 9.10