module Yoda::Typing