{ Braided = ./Braided/package.dhall
, Cartesian = ./Cartesian/package.dhall
, Closed = ./Closed/package.dhall
, Kind = ./Kind
, Symmetric = ./Symmetric/package.dhall
, Type = ./Type
, extractCategory = ./extractCategory
, extractCategoryInstance = ./extractCategoryInstance
, extractSemigroupal = ./extractSemigroupal
, types = ./types.dhall
}