Agreed. For data stuff if you want type saftey you really need a language with support for recursive types. More languages lack this feature than have it.