First-class contracts.