seq -> force

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 ?