Infinite Ideal Type