Extension of Agda's standard library to accommodate a more typeclass-friendly interface. - View it on GitHub