Simon Marlow wrote: > So then what shall we call the a -> () version? > One possibility is to go back to calling it rnf. In light of apfelmus' comment, I vote for rnf. And in that case, how about the analogous alternative for seq itself: hnf :: a -> () Thanks, Yitz