Order-insensitive double dispatch generics