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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe