:: a -> () package:clash-prelude

Reduce to weak head normal form Equivalent to \x -> seqX x (). Useful for defining rnfX for types for which NF=WHNF holds.
general coercion from integral types