Equational laws for free