Changed products from multi-param type class to constraint family.