Adaptions for the changed recursive type constructor