Allowed datacons to appear in kinds