{ Kind = ./Kind
, Type = ./Type
, extractCategory = ./extractCategory
, impliedBimonoid = ./impliedBimonoid
, impliedHopfMonoid = ./impliedHopfMonoid
}