程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming)