universalist

Algebra-Driven Design (ADD): model domains via minimal algebra + laws; encode in types; test laws.