module Yoda::Typing::Traces