[agumonkey]

I believe haskellers would love (and maybe did) to encode commutativity and thread-safety in the type system :)