:: a -> () package:deepseq

Reduce to weak head normal form Equivalent to \x -> seq x (). Useful for defining NFData for types for which NF=WHNF holds.
data T = C1 | C2 | C3
instance NFData T where rnf = rwhnf