Reiner Pope wrote: > 1. Will specialisation be "fixed" to work with IFTI? You can simply specialize the parameter to the function. > 2. Will there be a way to support user-defined specialisations, for > instance once which don't depend on the inheritance hierarchy? I don't know what that means - interfaces are already user-defined.