An interface without any public methods?