{ category = ./category
, inducedFunctor = ./inducedFunctor
, liftedDuoidal = ./liftedDuoidal
, liftedMonoidal = ./liftedMonoidal
, liftedRig = ./liftedRig
, monoidal = ./monoidal
, types = ./types.dhall
}