Update 8-RecursiveTypes.md