Minor change to better support parameterized partial/total kinds (for upcoming datatypes work).