On Monday, 13 July 2015 at 06:31:33 UTC, Jack Applegame wrote: > But is there any reason why D can't follow MLton way - > instantiate a class type template ONLY when a constructor of > given class is used? Because if constructor isn't used doesn't mean the class isn't used: there can be some static methods or other stuff.