{ Kind = ./Kind, groupoid = ./groupoid }