En esta lógica los tipos se agrupan en clases de equivalencia llamados kinds.