Laws and partial values (was: [Haskell-cafe] mapM_ -> Monoid.Monad.map)

[Lauri Alanko]

On Fri, Jan 23, 2009 at 08:10:38PM -0500, roconnor at theorem.ca wrote:
> I'd like to argue that laws, such as monoid laws, do not apply to partial 
> values.  But I haven't thought my position through yet.

Before you do, you may want to read "Fast and Loose Reasoning is
Morally Correct":

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.8232


Lauri