Type Driven Development with Idris Working through the exercises from Edwin Brady's Type Driven Development with Idris