deeqSeq proposal

[Simon Peyton-Jones]

| well, there is a difference there in that 'seq' is unimplementable in
| haskell, so the design comitee had freedom to implement it however
they
| wanted. 
	
	class Eval a where
	  seq :: a -> b -> b

	instance Eval (a,b) where
	   seq (_,_) b = b

	instance Eval [a] where
	   seq [] b = b
	   seq (_:_) b = b

etc

Simon