Num a => Num (Op a b)