Re: Proposal: Strict scanl, scanl1 and mapAccumL

Henning Thielemann writes: [...]

...

force :: WHNFData a => a -> a force x = x `seq` x

Does this function do something?

if 'seq' adheres to the Haskell reports definition, that is seq ⊥ b = ⊥ seq a b = b, if a ≠ ⊥ 'seq a a' and 'a' must be equivalent, and thus 'force' has to be equivalent to a type-specialized 'id', i.e. force :: WHNFData a => a -> a force x = x