seq -> force

Henning Thielemann lemming at
Sun Jun 5 13:01:55 CEST 2011

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

More information about the Libraries mailing list