[Haskell] SimonPJ and Tim Harris explain STM - video