Partial type-kind checking of `data kind` declarations