Some time ago I suggested adding a primitive hyperstrict-evaluator function to Haskell:
compel :: a -> a
So when I first saw your announcement, I immediately wondered “is that suggestion now redundant?” (perhaps along with deepseq et al ), hence the questions.