{ monoidal = ./monoidal, semigroupal = ./semigroupal, types = ./types.dhall }