Translate "Recursively Defined Datatypes"