型推論できる言語がいいなあ