Type on kernel type