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