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