This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra" - View it on GitHub