let prelude = ./../../dhall/prelude.dhall

in  let types = ./../../dhall/types.dhall

in    prelude.defaults.Package
    ⫽ { name =
          "foo"
      , version =
          prelude.v "0"
      , license =
          prelude.types.Licenses.SPDX
          ( prelude.SPDX.and
            ( prelude.SPDX.or
              ( prelude.SPDX.license
                (prelude.types.LicenseId.AGPL_3_0_or_later {=})
                ( [ prelude.types.LicenseExceptionId.Classpath_exception_2_0 {=}
                  ] : Optional types.LicenseExceptionId
                )
              )
              ( prelude.SPDX.licenseVersionOrLater
                (prelude.types.LicenseId.Apache_2_0 {=})
                ([] : Optional types.LicenseExceptionId)
              )
            )
            ( prelude.SPDX.or
              ( prelude.SPDX.ref
                "MyFancyLicense"
                ([] : Optional types.LicenseExceptionId)
              )
              ( prelude.SPDX.refWithFile
                "MyFancierLicense"
                "LICENSE.txt"
                ([] : Optional types.LicenseExceptionId)
              )
            )
          )
      }