module Contracts::base;