Type-driven development with Idris - Brady, Edwin (Manning Publications Co., 2017)
Annotation