Contracts for first-class classes