{ Kind = ./Kind
, extractCategory = ./extractCategory
, extractMonoidal = ./extractMonoidal
, extractSemigroupal = ./extractSemigroupal
}