Is type=primitive the default if K is empty?
b
Is type=primitive the default if K is empty?