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

Henning Thielemann schlepptop at
Mon Mar 21 22:41:30 CET 2011

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:

More information about the Libraries mailing list