Efficient Polymorphic Calls by Karel Driesen