In theory you could use a tree for unhashable things with a total order, and you could use a list for just about anything else (though you might want to emit a

In theory you could use a tree for unhashable things with a total order, and you could use a list for just about anything else (though you might want to emit a warning...). I assume D has enough magic to pattern match on the traits of the types in the argument list?