adding multivariable typeclass example