It's tough to say, because the ~ross link is broken. If a user-controlled value is forced, even if it's a container like Maybe or a tuple, then strict versions of the functions can be implemented user-side. Otherwise, it's orthogonal. Cheers, Edward Excerpts from Henning Thielemann's message of Sat May 21 13:37:10 -0400 2011:
On Sat, 21 May 2011, Edward Z. Yang wrote:
As it stands, we have strict functions for certain operations, such as insertWith. But this current selection is somewhat arbitrary. For illustrative purposes, here are other functions that ought to be strictified in IntMap, because there is no easy way for a user to implement them.
Is it possible to solve this with the proposed Location interface?
"Library proposal: add a Location interface for element-wise operations on Data.Map" http://www.haskell.org/pipermail/libraries/2011-January/015593.html