Learn-Type-Driven-Development, published by Packt - View it on GitHub