{ Kind = ./Kind
, category = ./category
, categorySort = ./categorySort
, duoidal = ./duoidal
, monoidal = ./monoidal
, semigroupal = ./semigroupal
, semigroupalSort = ./semigroupalSort
, types = ./types.dhall
}