An interesting paper: " Fixed Points of Type Constructors and Primitive Recursion " by Andreas Abel and Ralph Matthes.