Deliver high-quality, bug-free applications by testing them with efficient and expressive functional programming