{ Type = ./Type
, impliedMonoidalFunctor = ./impliedMonoidalFunctor
, impliedStarfunctor = ./impliedStarfunctor
, terms = ./terms.dhall
}