Recursive Objects in all Finite Types