I'm going to approach this from a different direction. It is:
1. I'm looking for a the Haskell definition of the category Hask...If you can help me out here, I'd appreciate it.
I think Hask is not a construct in Haskell; it's a meta-concept *about* Haskell. Or put otherwise, Haskell *itself* is the (imperfect) realization of Hask the category.