{ duoidal = ./duoidal, monoidal = ./monoidal/package.dhall }