相关疑难解决方法(0)

Prelude> :i ($)
($) ::
  forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r).
  (a -> b) -> a -> b
        -- Defined in ‘GHC.Base’
infixr 0 $

它有什么不同(a -> b) -> a -> b？有b没有不适合新型签名？