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

Neil Mitchell ndmitchell at gmail.com
Fri Jan 19 13:22:32 EST 2007

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.



More information about the Haskell-Cafe mailing list