[ihm]

> As others pointed out, the way Haskell uses the term "functor" is related to the way mathematicians had been using it for at least a decade before cfront.

Rather a bit more than that. Eilenberg and Maclane's original paper defining the basic notions of category theory was published in 1945! http://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945...

[dllthomas]

Thanks! I suspected that was the case, but the looser bound was much easier to be confident in with the level of effort I could spare.