agda-algebras - DeMeo, William; Carette, Jacques (2021)