deriving the fixed-point
add lambda curry.