data (->) a b -- Defined in GHC.Prim