I realized the other days that numbers and structural typing does not necessarelly works well.. In a structurally typed language I should be able to pass to a method every object that have the right methods with the right behaviour. So, what is the right structural shape for an object to pass to 1+__ in order to get 2?