GitHub repository: lemastero/idris-selective
Description: Selective functors in Idris