let Common = ../Common/package.dhall

let DefaultType = ./DefaultType

in  λ(a : Type) →
          Common.default a
        ∧ { main = None Text
          , other-modules = [] : List Text
          , generated-other-modules = [] : List Text
          }
      : DefaultType a