{ Kind = ./Kind
, Type = ./Type
, extractCategory = ./extractCategory
, extractCategoryInstance = ./extractCategoryInstance
, extractCategorySort = ./extractCategorySort
, types = ./types.dhall
}