seq -> force

[Henning Thielemann]

For a datatype like
   data T a = Cons a
I could define 'seq' myself as
   seq (Cons _) x = x
if it would be a type class method.

Is there a type class for generating the constructor independently from 
the input, as in:
   force ~(Cons x) = Cons x
?