CindyLinz: 喔喔，所以這是 fixed point combinator?