A binary operation meets an identity element, much fun ensues… - View it on GitHub