Added Applicative and Alternative instances for STM