Persistent Transactional Functional Language