Comment by petschge

How do you encode the difference between a method that adds and a method that multiplies two numbers in the type signature?