An implementation and semantics for transactional memory introspection in Haskell