module Contracts::Modules