> Why would this be different/better? It doesn't tie down the signature itself because the types in the signature are still flexible. That makes it easier to use the signature in multiple contexts. Admittedly, in this case, since there is likely only one use, the benefit is more in principle than in practice. But it is a convention I have been moving towards in my ML programming.