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

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