[platz]

under definition 3 then extension methods are also multi-methods - doesn't seem right. even c# has extension methods

[rbehrends → platz]

Extension methods do not support dynamic dispatch and hence are not proper instance methods. Try MultiJava's open classes for an approach that works.