A quote about algebra-based design (in functional programming)