Partially parametrized external constructor of a parametric type

Thanks! I actually created a separate thread for that question:

1 Like