Geef een beschrijving van recursief type