module Contracts::CallWith