module ContractedValue::Errors