[Haskell-cafe] Re: Article review: Category Theory

[Neil Mitchell]

Hi Brian,

> I've often wondered why seq is the primitive and not $!
> Would this solve the problem?
> Is there any solution that would allow excess laziness to be removed from a
> Haskell program such that Hask would be a category?

class Seq a where
    seq :: a -> b -> b

Then you have a different seq based on the types, and it doesn't go
wrong. You would probably want deriving Seq support.

Thanks

Neil