module Mon::Contract