Polymorphic symmetric multiple dispatch with variance