Rubyで書いた、小さな型推論機なのですー＞ω＜