Sample code from "Type Driven Development with Idris" - View it on GitHub