Equations can be used for any Num instance now.