There are many times when, for correctness or performance, we would like to guarantee that instances of a class are not copyable. This can be synthesized now by including a drop() method or by embedding a resource, but that's a hack that adds unnecessary overhead.