dhall-to-cabal-1.0.0: dhall/GitHub-project.dhall

    let GitHubProject : Type = { owner : Text, repo : Text }

in  let gitHubProject =
            λ(github : GitHubProject)
          →     let gitHubRoot =
                      "https://github.com/${github.owner}/${github.repo}"
            
            in    ./defaults/Package.dhall 
                ⫽ { name =
                      github.repo
                  , bug-reports =
                      "${gitHubRoot}/issues"
                  , homepage =
                      gitHubRoot
                  , source-repos =
                      [   ./defaults/SourceRepo.dhall 
                        ⫽ { location =
                              [ gitHubRoot ] : Optional Text
                          , type =
                              [ (constructors ./types/RepoType.dhall ).Git {=}
                              ] : Optional ./types/RepoType.dhall 
                          }
                      ]
                  }

in  gitHubProject