Complex sentence: The original formation specified a type function whose body was a recursive type; the revised version specifies a recursive function on types.
Split into simpler sentences: The original formation specified a type function which body was a recursive type. The revised version specifies a recursive function on types.