Wasn't that corrected already? I mean categorical definition of Hask?

If it was, I would like to see the link