Wasn't that corrected already? I mean categorical definition of Hask?
If it was, I would like to see the link
If it was, I would like to see the link