うーん。これってMLの型理論では型がつかないんだっけ?