Yeah, I wrote an essay on STM in Haskell for a class back in 2005 I think.