module Archruby::Ruby::TypeInference