let Conditional = ../Conditional/Type

let Dependencies = ../Dependencies/Type

let Verbatim = ../Verbatim/package.dhall

let DefaultType = ./DefaultType

in  λ(a : Type) →
        { buildable = None Bool
        , language = None Text
        , source-dirs = [] : List Text
        , default-extensions = [] : List Text
        , other-extensions = [] : List Text
        , ghc-options = [] : List Text
        , ghc-prof-options = [] : List Text
        , ghcjs-options = [] : List Text
        , cpp-options = [] : List Text
        , cc-options = [] : List Text
        , c-sources = [] : List Text
        , cxx-options = [] : List Text
        , cxx-sources = [] : List Text
        , js-sources = [] : List Text
        , extra-lib-dirs = [] : List Text
        , extra-libraries = [] : List Text
        , include-dirs = [] : List Text
        , frameworks = [] : List Text
        , extra-frameworks-dirs = [] : List Text
        , ld-options = [] : List Text
        , dependencies = [] : Dependencies
        , pkg-config-dependencies = [] : Dependencies
        , build-tools = [] : List Text
        , system-build-tools = [] : List Text
        , when = [] : List (Conditional a)
        , verbatim = [] : List Verbatim.Structure
        }
      : DefaultType a