let unconditional : ∀(A : Type) → A → ./types/Guarded.dhall A = λ(A : Type) → λ(a : A) → λ(_ : ./types/Config.dhall ) → a in let executable : ∀(name : Text) → ∀(executable : ./types/Executable.dhall ) → { name : Text , executable : ./types/Guarded.dhall ./types/Executable.dhall } = λ(name : Text) → λ(executable : ./types/Executable.dhall ) → { name = name , executable = unconditional ./types/Executable.dhall executable } in let library : ∀(library : ./types/Library.dhall ) → Optional (./types/Guarded.dhall ./types/Library.dhall ) = λ(library : ./types/Library.dhall ) → [ unconditional ./types/Library.dhall library ] : Optional (./types/Guarded.dhall ./types/Library.dhall ) in let test-suite : ∀(name : Text) → ∀(test-suite : ./types/TestSuite.dhall ) → { name : Text , test-suite : ./types/Guarded.dhall ./types/TestSuite.dhall } = λ(name : Text) → λ(test-suite : ./types/TestSuite.dhall ) → { name = name , test-suite = unconditional ./types/TestSuite.dhall test-suite } in { executable = executable, library = library, test-suite = test-suite }