Type-Driven Development with Idris - Brady, Edwin (Software Development, 2017)