kernel's type functions almost verified