Partial support for codatatype models.