>>335
MLの型システムに対しては完全だろ?