seq/parametricity properties/free theorems and a proposal/question

[Henning Thielemann]

Tyson Whitehead schrieb:

> My proposal (although I'm sure someone must have brought this up before, so 
> it's more of a question) is why not take the magic away from seq by making it 
> a class function like deepSeq
> 
>   class Seq a where
>     seq :: a -> b -> b

Last round of this discussion was:
   http://www.haskell.org/pipermail/haskell-cafe/2010-August/081308.html