https://mmwelch.net/2012/03/10/abstract-algebra-is-refactoring/