Contracts for first-class modules