let prelude = ./../../dhall/prelude.dhall let types = ./../../dhall/types.dhall in prelude.defaults.Package ⫽ { name = "test" , version = prelude.v "0" , source-repos = [ prelude.defaults.SourceRepo ⫽ { type = Some types.RepoType.Git, location = Some "example.com" } , prelude.defaults.SourceRepo ⫽ { type = Some types.RepoType.Darcs , location = Some "example.org" , kind = types.RepoKind.RepoThis } ] }