A how-to field guide on building leak-free abstractions and algebraically designing real-world applications. https://leanpub.com/algebra-driven-de...