On the IRC channel a few days ago, it was said that, as long as we allow `seq`, Hask is not a valid category. Doesn't this basically mean that a very large amount of Haskell -- anything with strictness annotations -- can not be described in a category Hask? -- Jason Dusek