不动点类型

fixed point type