Compactness Under Constructive Scrutiny