Swift Package Index

Build Information

Successful build of Bow, reference master (a8c1a7), with Swift 6.4 for macOS (SPM) on 16 Sep 2026 03:26:42 UTC.

Swift 6 data race errors: 0

Build Command

env DEVELOPER_DIR=/Applications/Xcode-27.0.0-Release.Candidate.app xcrun swift build --arch arm64

Build Log

========================================
RunAll
========================================
Builder version: 5.1.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/bow-swift/bow.git
Reference: master
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/bow-swift/bow
 * branch            master     -> FETCH_HEAD
 * [new branch]      master     -> origin/master
HEAD is now at a8c1a71 Update README.md (#662)
Cloned https://github.com/bow-swift/bow.git
Revision (git rev-parse @):
a8c1a719cd8407dfae6ffeb6de1110177c4a7819
SUCCESS checkout https://github.com/bow-swift/bow.git at master
========================================
Build
========================================
Selected platform:         macosSpm
Swift version:             6.4
Building package at path:  $PWD
https://github.com/bow-swift/bow.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-27.0.0-Release.Candidate.app xcrun swift build --arch arm64
Building for debugging...
[Computing dependencies]
[Pre-planning 1 / 969]
[Planning deferred tasks]
[138 / 305]
[141 / 308] Bow
[151 / 364]
[153 / 364]
[158 / 364]
[160 / 364] SwiftCheck
[164 / 407]
[169 / 407]
[171 / 407]
[174 / 407]
[177 / 407]
[181 / 407]
[184 / 407]
[186 / 407]
[187 / 407]
[199 / 407] RxSwift
[207 / 407]
[208 / 407] RxSwift
[209 / 407]
[213 / 407] RxSwift
[224 / 407]
[225 / 407]
[226 / 407] RxSwift
[227 / 407] RxSwift-product
[229 / 407]
[229 / 407] RxSwift-product
[230 / 407] RxSwift-product
[232 / 407] SwiftCheck
[235 / 407] SwiftCheck
[247 / 407] SwiftCheck
[251 / 407] Bow
[252 / 407] Bow
[254 / 407] Bow-product
[257 / 407] Bow
[259 / 408]
[263 / 408] RxCocoaRuntime
[268 / 413] RxRelay
[269 / 413] Bow
[277 / 413] RxRelay
[284 / 445]
[294 / 452]
[296 / 452]
[300 / 452]
[304 / 471] BowFree
[316 / 498] BowRecursionSchemes-product
[319 / 498] BowFree
[333 / 498] BowRecursionSchemes
[337 / 509] BowGenerators
[347 / 509] BowOptics
[362 / 526]
[374 / 526]
[379 / 526] BowGeneric
[383 / 526]
[387 / 526]
[394 / 526] RxCocoa
[398 / 526]
[401 / 526] RxCocoa
[404 / 526] BowOptics
[412 / 526] RxCocoa
[415 / 526] RxCocoa-product
[422 / 526] RxCocoaRuntime
[427 / 526] BowGenerators
[431 / 526] BowFreeGenerators
[438 / 526] BowEffects
[440 / 526] BowRx
[445 / 526] BowEffects
[450 / 528] BowLaws
[454 / 530] BowOptics
[459 / 530] BowEffects
[464 / 530] BowRx
[471 / 534] BowRx
[478 / 535] BowRx
[490 / 552] BowRx-product
[504 / 552] BowEffectsGenerators
[516 / 552] BowOpticsLaws
[521 / 556] BowRxGenerators
[532 / 558]
[536 / 558] BowRxGenerators
[537 / 558] BowLaws
[540 / 558] BowOpticsLaws
[551 / 569] BowEffectsLaws
[563 / 569] BowOpticsLaws
[566 / 569] BowEffectsLaws
[568 / 569] BowEffectsLaws
Build complete! (17.39 sec)
Fetching https://github.com/bow-swift/SwiftCheck.git
Fetching https://github.com/ReactiveX/RxSwift.git
[1/4531] Fetching swiftcheck
[2267/59059] Fetching swiftcheck, rxswift
Fetched https://github.com/bow-swift/SwiftCheck.git (10.84s)
Fetched https://github.com/ReactiveX/RxSwift.git (10.85s)
Computing version for https://github.com/bow-swift/SwiftCheck.git
Computed https://github.com/bow-swift/SwiftCheck.git at 0.12.1 (11.55s)
Computing version for https://github.com/ReactiveX/RxSwift.git
Computed https://github.com/ReactiveX/RxSwift.git at 5.1.3 (0.67s)
Creating working copy for https://github.com/bow-swift/SwiftCheck.git
Working copy of https://github.com/bow-swift/SwiftCheck.git resolved at 0.12.1
Creating working copy for https://github.com/ReactiveX/RxSwift.git
Working copy of https://github.com/ReactiveX/RxSwift.git resolved at 5.1.3
warning: /Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/MonadComprehensions/MonadComprenhensions.swift:43:2 '@_functionBuilder' has been renamed to '@resultBuilder': FixIt(sourceRange: XCBuild.SwiftBuildMessage.DiagnosticInfo.SourceRange(path: "/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/MonadComprehensions/MonadComprenhensions.swift", startLine: 43, startColumn: 2, endLine: 43, endColumn: 18), textToInsert: "resultBuilder")
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/MonadComprehensions/MonadComprenhensions.swift:43:2: warning: '@_functionBuilder' has been renamed to '@resultBuilder'
41 | }
42 |
43 | @_functionBuilder
   |  `- warning: '@_functionBuilder' has been renamed to '@resultBuilder'
44 | public struct BindingsBuilder {
45 |     public static func buildBlock<F>(_ instructions: BindingExpression<F>...) -> [BindingExpression<F>] {
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 4 | /// that is polymorphic on A, where F and B are fixed.
 5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
 6 | open class CokleisliK<F, B> {
   |                       `- note: 'F' previously declared here
 7 |     /// Initializer
 8 |     public init() {}
   :
56 |     }
57 |
58 |     private class Composed<F, T, B>: CokleisliK<F, B> {
   |                            `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 |         private let f: CokleisliK<F, T>
60 |         private let g: Function1<T, B>
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 4 | /// that is polymorphic on A, where F and B are fixed.
 5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
 6 | open class CokleisliK<F, B> {
   |                          `- note: 'B' previously declared here
 7 |     /// Initializer
 8 |     public init() {}
   :
56 |     }
57 |
58 |     private class Composed<F, T, B>: CokleisliK<F, B> {
   |                                  `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 |         private let f: CokleisliK<F, T>
60 |         private let g: Function1<T, B>
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 33 | ///     - A MonadWriter from a ComonadTraced
 34 | ///     - A MonadState from a ComonadStore
 35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
    |                                 `- note: 'A' previously declared here
 36 |     internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
 37 |
    :
109 |     ///   - wa: Comonadic space to explore.
110 |     /// - Returns: A new Comonadic space resulting from the exploration.
111 |     static func select<A, B>(
    |                        `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 |         _ co: Co<W, (A) -> B>,
113 |         _ wa: Kind<W, A>) -> Kind<W, B> {
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:25: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 47 | ///
 48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
 49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
    |                             `- note: 'F' previously declared here
 50 |     internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
 51 |
    :
 88 |     }
 89 |
 90 |     private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
    |                         `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 91 |         public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
 92 |             fa^.pivot.map(fa^.f.invoke)
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:37: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 47 | ///
 48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
 49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
    |                                `- note: 'A' previously declared here
 50 |     internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
 51 |
    :
 88 |     }
 89 |
 90 |     private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
    |                                     `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 91 |         public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
 92 |             fa^.pivot.map(fa^.f.invoke)
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:115:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
113 |     }
114 |
115 |     private class Map<F, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
    |                       `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
116 |         internal init(f: @escaping (A) -> B) {
117 |             self.f = f
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:159:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
157 |     }
158 |
159 |     private class FlatMap<F: Monad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
    |                           `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
160 |         internal init(f: @escaping (A) -> CoyonedaOf<F, B>) {
161 |             self.f = f
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:196:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
194 |     }
195 |
196 |     private class CoflatMap<F: Comonad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
    |                             `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
197 |         internal init(f: @escaping (CoyonedaOf<F, A>) -> B) {
198 |             self.f = f
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:216:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
214 |     }
215 |
216 |     private class Extract<F: Comonad, A>: CokleisliK<CoyonedaFPartial<F, A>, A> {
    |                           `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
217 |         internal override init() {}
218 |
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:236:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
234 |     }
235 |
236 |     private class FoldLeft<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, B> {
    |                            `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
237 |         internal init(b: B, f: @escaping (B, A) -> B) {
238 |             self.b = b
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:260:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
258 |     }
259 |
260 |     private class FoldRight<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Eval<B>> {
    |                             `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
261 |         internal init(b: Eval<B>, f: @escaping (A, Eval<B>) -> Eval<B>) {
262 |             self.b = b
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:287:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
285 |     }
286 |
287 |     private class TraverseF<F: Traverse, G: Applicative, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Kind<G, CoyonedaOf<F, B>>> {
    |                             `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
288 |         internal init(f: @escaping (A) -> Kind<G, B>) {
289 |             self.f = f
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/Functor.swift:123:22: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
121 |     /// - Parameter f: Function to be lifted.
122 |     /// - Returns: Function in the context implementing this instance of `Functor`.
123 |     static func lift<A, B>(_ f: @escaping (A) -> B) -> (Kind<F, A>) -> Kind<F, B> {
    |                      `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
124 |         { fa in fa.map(f) }
125 |     }
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
 8 | ///     class ForOption {}
 9 | ///     class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
   |                    `- note: 'A' previously declared here
11 |     /// Default initializer
12 |     public init() {}
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 |     ///   - else: Computation that will be executed if this evaluates to `false`.
186 |     /// - Returns: Composition of the computations.
187 |     func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
    |              `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 |         F.ifS(self, then: t, else: e)
189 |     }
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
 8 | ///     class ForOption {}
 9 | ///     class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
   |                    `- note: 'A' previously declared here
11 |     /// Default initializer
12 |     public init() {}
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
185 |     ///   - else: Computation that will be executed if this evaluates to `false`.
186 |     /// - Returns: Composition of the computations.
187 |     func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
    |              `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
188 |         F.ifS(self, then: t, else: e)
189 |     }
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
 8 | ///     class ForOption {}
 9 | ///     class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
   |                    `- note: 'A' previously declared here
11 |     /// Default initializer
12 |     public init() {}
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/MonadComprehensions/MonadComprenhensions.swift:43:2: warning: '@_functionBuilder' has been renamed to '@resultBuilder'
41 | }
42 |
43 | @_functionBuilder
   |  `- warning: '@_functionBuilder' has been renamed to '@resultBuilder'
44 | public struct BindingsBuilder {
45 |     public static func buildBlock<F>(_ instructions: BindingExpression<F>...) -> [BindingExpression<F>] {
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/Functor.swift:123:22: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
121 |     /// - Parameter f: Function to be lifted.
122 |     /// - Returns: Function in the context implementing this instance of `Functor`.
123 |     static func lift<A, B>(_ f: @escaping (A) -> B) -> (Kind<F, A>) -> Kind<F, B> {
    |                      `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
124 |         { fa in fa.map(f) }
125 |     }
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: note: 'A' previously declared here
 8 | ///     class ForOption {}
 9 | ///     class Option<A>: Kind<ForOption, A> {}
10 | open class Kind<F, A> {
   |                    `- note: 'A' previously declared here
11 |     /// Default initializer
12 |     public init() {}
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 33 | ///     - A MonadWriter from a ComonadTraced
 34 | ///     - A MonadState from a ComonadStore
 35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
    |                                 `- note: 'A' previously declared here
 36 |     internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
 37 |
    :
109 |     ///   - wa: Comonadic space to explore.
110 |     /// - Returns: A new Comonadic space resulting from the exploration.
111 |     static func select<A, B>(
    |                        `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 |         _ co: Co<W, (A) -> B>,
113 |         _ wa: Kind<W, A>) -> Kind<W, B> {
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 |     }
267 |
268 |     public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
    |                               `- note: 'A' previously declared here
269 |         func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
    |                `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 |             { a in
271 |                 g((x, a))
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:25: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 47 | ///
 48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
 49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
    |                             `- note: 'F' previously declared here
 50 |     internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
 51 |
    :
 88 |     }
 89 |
 90 |     private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
    |                         `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 91 |         public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
 92 |             fa^.pivot.map(fa^.f.invoke)
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:37: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 47 | ///
 48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
 49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
    |                                `- note: 'A' previously declared here
 50 |     internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
 51 |
    :
 88 |     }
 89 |
 90 |     private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
    |                                     `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 91 |         public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
 92 |             fa^.pivot.map(fa^.f.invoke)
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:115:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
113 |     }
114 |
115 |     private class Map<F, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
    |                       `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
116 |         internal init(f: @escaping (A) -> B) {
117 |             self.f = f
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:159:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
157 |     }
158 |
159 |     private class FlatMap<F: Monad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
    |                           `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
160 |         internal init(f: @escaping (A) -> CoyonedaOf<F, B>) {
161 |             self.f = f
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:196:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
194 |     }
195 |
196 |     private class CoflatMap<F: Comonad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
    |                             `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
197 |         internal init(f: @escaping (CoyonedaOf<F, A>) -> B) {
198 |             self.f = f
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:216:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
214 |     }
215 |
216 |     private class Extract<F: Comonad, A>: CokleisliK<CoyonedaFPartial<F, A>, A> {
    |                           `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
217 |         internal override init() {}
218 |
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:236:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
234 |     }
235 |
236 |     private class FoldLeft<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, B> {
    |                            `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
237 |         internal init(b: B, f: @escaping (B, A) -> B) {
238 |             self.b = b
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:260:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
258 |     }
259 |
260 |     private class FoldRight<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Eval<B>> {
    |                             `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
261 |         internal init(b: Eval<B>, f: @escaping (A, Eval<B>) -> Eval<B>) {
262 |             self.b = b
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:287:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 39 |
 40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
 41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
    |                                    `- note: 'F' previously declared here
 42 |
 43 | /// Higher Kinded Type alias to improve readability.
    :
285 |     }
286 |
287 |     private class TraverseF<F: Traverse, G: Applicative, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Kind<G, CoyonedaOf<F, B>>> {
    |                             `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
288 |         internal init(f: @escaping (A) -> Kind<G, B>) {
289 |             self.f = f
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 4 | /// that is polymorphic on A, where F and B are fixed.
 5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
 6 | open class CokleisliK<F, B> {
   |                       `- note: 'F' previously declared here
 7 |     /// Initializer
 8 |     public init() {}
   :
56 |     }
57 |
58 |     private class Composed<F, T, B>: CokleisliK<F, B> {
   |                            `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 |         private let f: CokleisliK<F, T>
60 |         private let g: Function1<T, B>
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 4 | /// that is polymorphic on A, where F and B are fixed.
 5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
 6 | open class CokleisliK<F, B> {
   |                          `- note: 'B' previously declared here
 7 |     /// Initializer
 8 |     public init() {}
   :
56 |     }
57 |
58 |     private class Composed<F, T, B>: CokleisliK<F, B> {
   |                                  `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 |         private let f: CokleisliK<F, T>
60 |         private let g: Function1<T, B>
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:16:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 12 |
 13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
 14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
    |                         `- note: 'F' previously declared here
 15 |     /// Internal representation of a Free value
 16 |     public enum _Free<F: Functor, A> {
    |                       `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 17 |         case pure(A)
 18 |         case free(Kind<F, Free<F, A>>)
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:16:35: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 12 |
 13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
 14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
    |                                     `- note: 'A' previously declared here
 15 |     /// Internal representation of a Free value
 16 |     public enum _Free<F: Functor, A> {
    |                                   `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 17 |         case pure(A)
 18 |         case free(Kind<F, Free<F, A>>)
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Typeclasses/Async.swift:149:30: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
147 |     /// - Parameter f: A function that provides a value or an error.
148 |     /// - Returns: A computation that defers the execution of the provided value.
149 |     static func delayOrRaise<A>(
    |                              `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
150 |         _ queue: DispatchQueue,
151 |         _ f: @escaping () -> Either<F.E, A>) -> Kind<F, A> {
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Function0: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Function0<A>> {
 8 |         A.arbitrary.map { a in Function0 { a } }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Function1<I, O>> {
 8 |         ArrowOf<I, O>.arbitrary.map { arrow in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Kleisli<F, D, A>> {
 8 |         Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<LazyFunction1<I, O>> {
 8 |         ArrowOf<I, O>.arbitrary.map { arrow in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension ArrayK: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<ArrayK<A>> {
 8 |         Array.arbitrary.map(ArrayK.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Const: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Const<A, T>> {
 8 |         A.arbitrary.map(Const.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Instance of Arbitrary for Coyoneda
 5 |
 6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Coyoneda<F, A>> {
 8 |         KindOf<F, A>.arbitrary.map { fa in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<DictionaryK<K, A>> {
 8 |         Dictionary.arbitrary.map(DictionaryK.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Either<A, B>> {
 8 |         let left = A.arbitrary.map(Either<A, B>.left)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<EitherK<F, G, A>> {
 8 |         Gen.from(EitherKPartial.generate >>> EitherK.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Endo<A>> {
 8 |         ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Instance of Arbitrary for Exists
 5 |
 6 | extension Exists: Arbitrary where F: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Exists<F>> {
 8 |         Gen.one(of: [
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Id: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Id<A>> {
 8 |         A.arbitrary.map(Id.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Ior<A, B>> {
 8 |         let left = A.arbitrary.map(Ior.left)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Moore<E, V>> {
 8 |         Gen.from(MoorePartial.generate >>> Moore.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<NonEmptyArray<A>> {
 8 |         Array.arbitrary
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Option: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Option<A>> {
 8 |         let none = Gen.pure(Option<A>.none())
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<PairK<F, G, A>> {
 8 |         Gen.from(PairKPartial.generate >>> PairK.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Sum<F, G, V>> {
 8 |         Gen.from(SumPartial.generate >>> Sum.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Trampoline: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Trampoline<A>> {
 8 |         Gen.sized(arbitraryTrampoline)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Tree+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 |
 5 | // MARK: Generator for Property-based Testing
 6 | extension Tree: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Tree<A>> {
 8 |         Gen.sized { gen(size: UInt($0)) }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Try: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Try<A>> {
 8 |         let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Validated<E, A>> {
 8 |         let invalid = E.arbitrary.map(Validated.invalid)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Instance of Arbitrary for Yoneda
 5 |
 6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Yoneda<F, A>> {
 8 |         KindOf<F, A>.arbitrary.map { fa in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Zipper: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Zipper<A>> {
 8 |         Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<EitherT<F, A, B>> {
 8 |         Gen.from(EitherTPartial.generate >>> EitherT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<EnvT<E, W, A>> {
 8 |         Gen.from(EnvTPartial.generate >>> EnvT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<OptionT<F, A>> {
 8 |         Gen.from(OptionTPartial.generate >>> OptionT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<StateT<F, S, A>> {
 8 |         Gen.from(StateTPartial.generate >>> StateT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<StoreT<S, W, A>> {
 8 |         Gen.from(StoreTPartial.generate >>> StoreT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<TracedT<M, W, A>> {
 8 |         Gen.from(TracedTPartial.generate >>> TracedT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Propery-based Testing
 5 |
 6 | extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<WriterT<F, W, A>> {
 8 |         Gen.from(WriterTPartial.generate >>> WriterT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Zipper: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Zipper<A>> {
 8 |         Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<EitherT<F, A, B>> {
 8 |         Gen.from(EitherTPartial.generate >>> EitherT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<EnvT<E, W, A>> {
 8 |         Gen.from(EnvTPartial.generate >>> EnvT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<TracedT<M, W, A>> {
 8 |         Gen.from(TracedTPartial.generate >>> TracedT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Propery-based Testing
 5 |
 6 | extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<WriterT<F, W, A>> {
 8 |         Gen.from(WriterTPartial.generate >>> WriterT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension ArrayK: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<ArrayK<A>> {
 8 |         Array.arbitrary.map(ArrayK.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Const: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Const<A, T>> {
 8 |         A.arbitrary.map(Const.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Instance of Arbitrary for Coyoneda
 5 |
 6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Coyoneda<F, A>> {
 8 |         KindOf<F, A>.arbitrary.map { fa in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Function0: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Function0<A>> {
 8 |         A.arbitrary.map { a in Function0 { a } }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Function1<I, O>> {
 8 |         ArrowOf<I, O>.arbitrary.map { arrow in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Kleisli<F, D, A>> {
 8 |         Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<LazyFunction1<I, O>> {
 8 |         ArrowOf<I, O>.arbitrary.map { arrow in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<OptionT<F, A>> {
 8 |         Gen.from(OptionTPartial.generate >>> OptionT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<StateT<F, S, A>> {
 8 |         Gen.from(StateTPartial.generate >>> StateT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<StoreT<S, W, A>> {
 8 |         Gen.from(StoreTPartial.generate >>> StoreT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Try: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Try<A>> {
 8 |         let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Validated<E, A>> {
 8 |         let invalid = E.arbitrary.map(Validated.invalid)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Instance of Arbitrary for Yoneda
 5 |
 6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Yoneda<F, A>> {
 8 |         KindOf<F, A>.arbitrary.map { fa in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Ior<A, B>> {
 8 |         let left = A.arbitrary.map(Ior.left)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Moore<E, V>> {
 8 |         Gen.from(MoorePartial.generate >>> Moore.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<NonEmptyArray<A>> {
 8 |         Array.arbitrary
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Option: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Option<A>> {
 8 |         let none = Gen.pure(Option<A>.none())
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Endo<A>> {
 8 |         ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Instance of Arbitrary for Exists
 5 |
 6 | extension Exists: Arbitrary where F: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Exists<F>> {
 8 |         Gen.one(of: [
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Id: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Id<A>> {
 8 |         A.arbitrary.map(Id.init)
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:16:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 12 |
 13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
 14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
    |                         `- note: 'F' previously declared here
 15 |     /// Internal representation of a Free value
 16 |     public enum _Free<F: Functor, A> {
    |                       `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 17 |         case pure(A)
 18 |         case free(Kind<F, Free<F, A>>)
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:16:35: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 12 |
 13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
 14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
    |                                     `- note: 'A' previously declared here
 15 |     /// Internal representation of a Free value
 16 |     public enum _Free<F: Functor, A> {
    |                                   `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
 17 |         case pure(A)
 18 |         case free(Kind<F, Free<F, A>>)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<DictionaryK<K, A>> {
 8 |         Dictionary.arbitrary.map(DictionaryK.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Either<A, B>> {
 8 |         let left = A.arbitrary.map(Either<A, B>.left)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<EitherK<F, G, A>> {
 8 |         Gen.from(EitherKPartial.generate >>> EitherK.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<PairK<F, G, A>> {
 8 |         Gen.from(PairKPartial.generate >>> PairK.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Sum<F, G, V>> {
 8 |         Gen.from(SumPartial.generate >>> Sum.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 | // MARK: Generator for Property-based Testing
 5 |
 6 | extension Trampoline: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Trampoline<A>> {
 8 |         Gen.sized(arbitraryTrampoline)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Tree+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
 4 |
 5 | // MARK: Generator for Property-based Testing
 6 | extension Tree: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 7 |     public static var arbitrary: Gen<Tree<A>> {
 8 |         Gen.sized { gen(size: UInt($0)) }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Typeclasses/Async.swift:149:30: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
147 |     /// - Parameter f: A function that provides a value or an error.
148 |     /// - Returns: A computation that defers the execution of the provided value.
149 |     static func delayOrRaise<A>(
    |                              `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
150 |         _ queue: DispatchQueue,
151 |         _ f: @escaping () -> Either<F.E, A>) -> Kind<F, A> {
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:116:30: warning: will never be executed
114 |
115 |         return policy.initial
116 |             .mapError { x in x as! E }
    |                       |      `- warning: will never be executed
    |                       `- note: 'x' is of type 'Never' which cannot be constructed because it is an enum with no cases
117 |             .flatMap(loop)^
118 |     }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:164:34: warning: will never be executed
162 |             { e in orElse(e, nil).map(Either.left)^ },
163 |             { a in policy.initial
164 |                 .mapError { x in x as! E }
    |                           |      `- warning: will never be executed
    |                           `- note: 'x' is of type 'Never' which cannot be constructed because it is an enum with no cases
165 |                 .flatMap { s in loop(a, s) }^ })
166 |     }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:725:36: warning: will never be executed
723 |         Schedule(
724 |             initial: EnvIO.never()^,
725 |             extract: { _, never in never },
    |                      |             `- warning: will never be executed
    |                      `- note: '$return_value' is of type 'Never' which cannot be constructed because it is an enum with no cases
726 |             update: { _, _ in EnvIO.never()^ })
727 |     }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:726:31: warning: will never be executed
724 |             initial: EnvIO.never()^,
725 |             extract: { _, never in never },
726 |             update: { _, _ in EnvIO.never()^ })
    |                     |         `- warning: will never be executed
    |                     `- note: '_' is of type 'Never' which cannot be constructed because it is an enum with no cases
727 |     }
728 | }
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Cofree+Gen.swift:8:1: warning: extension declares a conformance of imported type 'CofreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
 6 | // MARK: Instance of ArbitraryK for Cofree
 7 |
 8 | extension CofreePartial: ArbitraryK where F: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'CofreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static func generate<A: Arbitrary>() -> CofreeOf<F, A> {
10 |         Cofree.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Cofree+Gen.swift:16:1: warning: extension declares a conformance of imported type 'Cofree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
14 | // MARK: Instance of Arbitrary for Cofree
15 |
16 | extension Cofree: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Cofree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
17 |     public static var arbitrary: Gen<Cofree<F, A>> {
18 |         Gen.zip(
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:8:1: warning: extension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
 6 | // MARK: Instance of `ArbitraryK` for `Free`
 7 |
 8 | extension FreePartial: ArbitraryK where F: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static func generate<A: Arbitrary>() -> FreeOf<F, A> {
10 |         Free<F, A>.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:14:1: warning: extension declares a conformance of imported type 'Free' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
12 | }
13 |
14 | extension Free: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Free' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
15 |     public static var arbitrary: Gen<Free<F, A>> {
16 |         let pureGen: Gen<Free<F, A>> = A.arbitrary.map(Free<F, A>.pure >>> Free.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Program+Gen.swift:8:1: warning: extension declares a conformance of imported type 'ProgramPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
 6 | // MARK: Instance of `ArbitraryK` for `Free`
 7 |
 8 | extension ProgramPartial: ArbitraryK where F: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'ProgramPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static func generate<A: Arbitrary>() -> ProgramOf<F, A> {
10 |         Program<F, A>.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Program+Gen.swift:14:1: warning: extension declares a conformance of imported type 'Program' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
12 | }
13 |
14 | extension Program: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Program' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
15 |     public static var arbitrary: Gen<Program<F, A>> {
16 |         Free<CoyonedaPartial<F>, A>.arbitrary.map(Program.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Program+Gen.swift:8:1: warning: extension declares a conformance of imported type 'ProgramPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
 6 | // MARK: Instance of `ArbitraryK` for `Free`
 7 |
 8 | extension ProgramPartial: ArbitraryK where F: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'ProgramPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static func generate<A: Arbitrary>() -> ProgramOf<F, A> {
10 |         Program<F, A>.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Program+Gen.swift:14:1: warning: extension declares a conformance of imported type 'Program' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
12 | }
13 |
14 | extension Program: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Program' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
15 |     public static var arbitrary: Gen<Program<F, A>> {
16 |         Free<CoyonedaPartial<F>, A>.arbitrary.map(Program.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Cofree+Gen.swift:8:1: warning: extension declares a conformance of imported type 'CofreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
 6 | // MARK: Instance of ArbitraryK for Cofree
 7 |
 8 | extension CofreePartial: ArbitraryK where F: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'CofreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static func generate<A: Arbitrary>() -> CofreeOf<F, A> {
10 |         Cofree.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Cofree+Gen.swift:16:1: warning: extension declares a conformance of imported type 'Cofree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
14 | // MARK: Instance of Arbitrary for Cofree
15 |
16 | extension Cofree: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Cofree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
17 |     public static var arbitrary: Gen<Cofree<F, A>> {
18 |         Gen.zip(
/Users/admin/builder/spi-builder-workspace/Tests/BowEffectsGenerators/IO+Gen.swift:8:1: warning: extension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future
 6 | // MARK: Instance of `ArbitraryK` for `IO`
 7 |
 8 | extension IOPartial: ArbitraryK where E: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static func generate<A: Arbitrary>() -> Kind<IOPartial<E>, A> {
10 |         let success = IO<E, A>.pure(A.arbitrary.generate)
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:8:1: warning: extension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
 6 | // MARK: Instance of `ArbitraryK` for `Free`
 7 |
 8 | extension FreePartial: ArbitraryK where F: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static func generate<A: Arbitrary>() -> FreeOf<F, A> {
10 |         Free<F, A>.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:14:1: warning: extension declares a conformance of imported type 'Free' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
12 | }
13 |
14 | extension Free: Arbitrary where F: ArbitraryK, A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'Free' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
15 |     public static var arbitrary: Gen<Free<F, A>> {
16 |         let pureGen: Gen<Free<F, A>> = A.arbitrary.map(Free<F, A>.pure >>> Free.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowEffectsGenerators/IO+Gen.swift:8:1: warning: extension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future
 6 | // MARK: Instance of `ArbitraryK` for `IO`
 7 |
 8 | extension IOPartial: ArbitraryK where E: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static func generate<A: Arbitrary>() -> Kind<IOPartial<E>, A> {
10 |         let success = IO<E, A>.pure(A.arbitrary.generate)
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/MaybeK+Gen.swift:8:1: warning: extension declares a conformance of imported type 'MaybeK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
 6 | // MARK: Generator for Property-based Testing
 7 |
 8 | extension MaybeK: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'MaybeK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static var arbitrary: Gen<MaybeK<A>> {
10 |         A.arbitrary.map { x in MaybeK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/MaybeK+Gen.swift:16:1: warning: extension declares a conformance of imported type 'ForMaybeK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
14 | // MARK: Instance of `ArbitraryK` for `MaybeK`
15 |
16 | extension MaybeKPartial: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'ForMaybeK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
17 |     public static func generate<A: Arbitrary>() -> MaybeKOf<A> {
18 |         MaybeK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/ObservableK+Gen.swift:8:1: warning: extension declares a conformance of imported type 'ObservableK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
 6 | // MARK: Generator for Property-based Testing
 7 |
 8 | extension ObservableK: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'ObservableK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static var arbitrary: Gen<ObservableK<A>> {
10 |         A.arbitrary.map { x in ObservableK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/ObservableK+Gen.swift:16:1: warning: extension declares a conformance of imported type 'ForObservableK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
14 | // MARK: Instance of `ArbitraryK` for `ObservableK`
15 |
16 | extension ObservableKPartial: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'ForObservableK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
17 |     public static func generate<A: Arbitrary>() -> ObservableKOf<A> {
18 |         ObservableK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/SingleK+Gen.swift:8:1: warning: extension declares a conformance of imported type 'SingleK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
 6 | // MARK: Generator for Property-based Testing
 7 |
 8 | extension SingleK: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'SingleK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static var arbitrary: Gen<SingleK<A>> {
10 |         A.arbitrary.map { x in SingleK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/SingleK+Gen.swift:16:1: warning: extension declares a conformance of imported type 'ForSingleK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
14 | // MARK: Instance of `ArbitraryK` for `SingleK`
15 |
16 | extension SingleKPartial: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'ForSingleK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
17 |     public static func generate<A: Arbitrary>() -> SingleKOf<A> {
18 |         SingleK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/MaybeK+Gen.swift:8:1: warning: extension declares a conformance of imported type 'MaybeK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
 6 | // MARK: Generator for Property-based Testing
 7 |
 8 | extension MaybeK: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'MaybeK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static var arbitrary: Gen<MaybeK<A>> {
10 |         A.arbitrary.map { x in MaybeK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/MaybeK+Gen.swift:16:1: warning: extension declares a conformance of imported type 'ForMaybeK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
14 | // MARK: Instance of `ArbitraryK` for `MaybeK`
15 |
16 | extension MaybeKPartial: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'ForMaybeK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
17 |     public static func generate<A: Arbitrary>() -> MaybeKOf<A> {
18 |         MaybeK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/SingleK+Gen.swift:8:1: warning: extension declares a conformance of imported type 'SingleK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
 6 | // MARK: Generator for Property-based Testing
 7 |
 8 | extension SingleK: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'SingleK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static var arbitrary: Gen<SingleK<A>> {
10 |         A.arbitrary.map { x in SingleK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/SingleK+Gen.swift:16:1: warning: extension declares a conformance of imported type 'ForSingleK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
14 | // MARK: Instance of `ArbitraryK` for `SingleK`
15 |
16 | extension SingleKPartial: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'ForSingleK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
17 |     public static func generate<A: Arbitrary>() -> SingleKOf<A> {
18 |         SingleK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/ObservableK+Gen.swift:8:1: warning: extension declares a conformance of imported type 'ObservableK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
 6 | // MARK: Generator for Property-based Testing
 7 |
 8 | extension ObservableK: Arbitrary where A: Arbitrary {
   | |- warning: extension declares a conformance of imported type 'ObservableK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
 9 |     public static var arbitrary: Gen<ObservableK<A>> {
10 |         A.arbitrary.map { x in ObservableK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/ObservableK+Gen.swift:16:1: warning: extension declares a conformance of imported type 'ForObservableK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
14 | // MARK: Instance of `ArbitraryK` for `ObservableK`
15 |
16 | extension ObservableKPartial: ArbitraryK {
   | |- warning: extension declares a conformance of imported type 'ForObservableK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future
   | `- note: add '@retroactive' to silence this warning
17 |     public static func generate<A: Arbitrary>() -> ObservableKOf<A> {
18 |         ObservableK.arbitrary.generate
Build complete.
{
  "dependencies" : [
    {
      "identity" : "swiftcheck",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "0.12.1",
            "upper_bound" : "1.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/bow-swift/SwiftCheck.git"
    },
    {
      "identity" : "rxswift",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "5.0.1",
            "upper_bound" : "6.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/ReactiveX/RxSwift.git"
    }
  ],
  "manifest_display_name" : "Bow",
  "name" : "Bow",
  "path" : "/Users/admin/builder/spi-builder-workspace",
  "platforms" : [
  ],
  "products" : [
    {
      "name" : "Bow",
      "targets" : [
        "Bow"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowOptics",
      "targets" : [
        "BowOptics"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowEffects",
      "targets" : [
        "BowEffects"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowRx",
      "targets" : [
        "BowRx"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowFree",
      "targets" : [
        "BowFree"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowGeneric",
      "targets" : [
        "BowGeneric"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowRecursionSchemes",
      "targets" : [
        "BowRecursionSchemes"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowLaws",
      "targets" : [
        "BowLaws"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowOpticsLaws",
      "targets" : [
        "BowOpticsLaws"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowEffectsLaws",
      "targets" : [
        "BowEffectsLaws"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowGenerators",
      "targets" : [
        "BowGenerators"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowFreeGenerators",
      "targets" : [
        "BowFreeGenerators"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowEffectsGenerators",
      "targets" : [
        "BowEffectsGenerators"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    },
    {
      "name" : "BowRxGenerators",
      "targets" : [
        "BowRxGenerators"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    }
  ],
  "targets" : [
    {
      "c99name" : "BowTests",
      "module_type" : "SwiftTarget",
      "name" : "BowTests",
      "path" : "Tests/BowTests",
      "sources" : [
        "Arrow/Function0Test.swift",
        "Arrow/Function1Test.swift",
        "Arrow/KleisliTest.swift",
        "Arrow/LazyFunction1Test.swift",
        "Data/ArrayKTest.swift",
        "Data/ArrayTest.swift",
        "Data/CoTest.swift",
        "Data/ConstTest.swift",
        "Data/CoyonedaNaturalTransformationTests.swift",
        "Data/CoyonedaTest.swift",
        "Data/DayTest.swift",
        "Data/DictionaryKTest.swift",
        "Data/DictionaryTest.swift",
        "Data/EitherKTest.swift",
        "Data/EitherTest.swift",
        "Data/EndoTest.swift",
        "Data/EvalTest.swift",
        "Data/ExistsTests.swift",
        "Data/IdTest.swift",
        "Data/IorTest.swift",
        "Data/MooreTest.swift",
        "Data/NonEmptyArrayTest.swift",
        "Data/OptionTest.swift",
        "Data/PairKTest.swift",
        "Data/PairingTest.swift",
        "Data/ResultTest.swift",
        "Data/SetKTest.swift",
        "Data/SetTest.swift",
        "Data/SumTest.swift",
        "Data/TrampolineTest.swift",
        "Data/TreeTest.swift",
        "Data/TryTest.swift",
        "Data/ValidatedTest.swift",
        "Data/YonedaTest.swift",
        "Data/ZipperTest.swift",
        "Instances/BoolInstancesTest.swift",
        "Instances/NumberInstancesTest.swift",
        "Instances/StringInstancesTest.swift",
        "Syntax/BooleanFunctionsTest.swift",
        "Syntax/CurryTest.swift",
        "Syntax/MemoizationTest.swift",
        "Syntax/MonadComprehensionTest.swift",
        "Syntax/PartialApplicationTest.swift",
        "Syntax/PredefTest.swift",
        "Syntax/ReverseTest.swift",
        "Transformers/EitherTTest.swift",
        "Transformers/EnvTTest.swift",
        "Transformers/OptionTTest.swift",
        "Transformers/StateTTest.swift",
        "Transformers/StoreTTest.swift",
        "Transformers/TracedTTest.swift",
        "Transformers/WriterTTest.swift"
      ],
      "target_dependencies" : [
        "BowLaws"
      ],
      "type" : "test"
    },
    {
      "c99name" : "BowRxTests",
      "module_type" : "SwiftTarget",
      "name" : "BowRxTests",
      "path" : "Tests/BowRxTests",
      "sources" : [
        "MaybeKTest.swift",
        "ObservableKTest.swift",
        "SingleKTest.swift"
      ],
      "target_dependencies" : [
        "BowRxGenerators",
        "BowEffectsGenerators",
        "BowEffectsLaws"
      ],
      "type" : "test"
    },
    {
      "c99name" : "BowRxGenerators",
      "module_type" : "SwiftTarget",
      "name" : "BowRxGenerators",
      "path" : "Tests/BowRxGenerators",
      "product_memberships" : [
        "BowRxGenerators"
      ],
      "sources" : [
        "MaybeK+Gen.swift",
        "ObservableK+Gen.swift",
        "SingleK+Gen.swift"
      ],
      "target_dependencies" : [
        "BowRx",
        "BowGenerators"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowRx",
      "module_type" : "SwiftTarget",
      "name" : "BowRx",
      "path" : "Sources/BowRx",
      "product_dependencies" : [
        "RxSwift",
        "RxCocoa"
      ],
      "product_memberships" : [
        "BowRx",
        "BowRxGenerators"
      ],
      "sources" : [
        "MaybeK.swift",
        "ObservableK.swift",
        "SingleK.swift"
      ],
      "target_dependencies" : [
        "Bow",
        "BowEffects"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowRecursionSchemesTests",
      "module_type" : "SwiftTarget",
      "name" : "BowRecursionSchemesTests",
      "path" : "Tests/BowRecursionSchemesTests",
      "sources" : [
        "RecursionTest.swift"
      ],
      "target_dependencies" : [
        "BowRecursionSchemes",
        "BowLaws"
      ],
      "type" : "test"
    },
    {
      "c99name" : "BowRecursionSchemes",
      "module_type" : "SwiftTarget",
      "name" : "BowRecursionSchemes",
      "path" : "Sources/BowRecursionSchemes",
      "product_memberships" : [
        "BowRecursionSchemes"
      ],
      "sources" : [
        "Data/Fix.swift",
        "Data/Mu.swift",
        "Data/Nu.swift",
        "Recursion.swift",
        "Typeclasses/Birecursive.swift",
        "Typeclasses/Corecursive.swift",
        "Typeclasses/Recursive.swift"
      ],
      "target_dependencies" : [
        "Bow"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowOpticsTests",
      "module_type" : "SwiftTarget",
      "name" : "BowOpticsTests",
      "path" : "Tests/BowOpticsTests",
      "sources" : [
        "AffineTraversalTest.swift",
        "FoldTest.swift",
        "GetterTest.swift",
        "IsoTest.swift",
        "LensTest.swift",
        "PrismTest.swift",
        "SetterTest.swift",
        "TestDomain.swift",
        "TraversalTest.swift"
      ],
      "target_dependencies" : [
        "BowOpticsLaws"
      ],
      "type" : "test"
    },
    {
      "c99name" : "BowOpticsLaws",
      "module_type" : "SwiftTarget",
      "name" : "BowOpticsLaws",
      "path" : "Tests/BowOpticsLaws",
      "product_memberships" : [
        "BowOpticsLaws"
      ],
      "sources" : [
        "AffineTraversalLaws.swift",
        "IsoLaws.swift",
        "LensLaws.swift",
        "PrismLaws.swift",
        "SetterLaws.swift",
        "TraversalLaws.swift"
      ],
      "target_dependencies" : [
        "BowOptics",
        "BowLaws"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowOptics",
      "module_type" : "SwiftTarget",
      "name" : "BowOptics",
      "path" : "Sources/BowOptics",
      "product_memberships" : [
        "BowOptics",
        "BowOpticsLaws"
      ],
      "sources" : [
        "AffineTraversal.swift",
        "Auto/AutoAffineTraversal.swift",
        "Auto/AutoFold.swift",
        "Auto/AutoGetter.swift",
        "Auto/AutoLens.swift",
        "Auto/AutoOptics.swift",
        "Auto/AutoPrism.swift",
        "Auto/AutoSetter.swift",
        "Auto/AutoTraversal.swift",
        "BoundSetter.swift",
        "DSL/At+Optics.swift",
        "DSL/Each+Optics.swift",
        "DSL/Index+Optics.swift",
        "DSL/Kind+Optics.swift",
        "Extensions/StateT+Optics.swift",
        "Fold.swift",
        "Getter.swift",
        "Instances/ArrayKOpticsInstances.swift",
        "Instances/ArrayOpticsInstances.swift",
        "Instances/ConstOpticsInstances.swift",
        "Instances/EitherKOpticsInstances.swift",
        "Instances/EitherOpticsInstances.swift",
        "Instances/IdOpticsInstances.swift",
        "Instances/IorOpticsInstances.swift",
        "Instances/NonEmptyArrayOpticsInstances.swift",
        "Instances/OptionOpticsInstances.swift",
        "Instances/StringOpticsInstances.swift",
        "Instances/TryOpticsInstances.swift",
        "Instances/ValidatedOpticsInstances.swift",
        "Iso.swift",
        "Lens.swift",
        "Prism.swift",
        "STD/ArrayK+Optics.swift",
        "STD/Either+Optics.swift",
        "STD/Id+Optics.swift",
        "STD/Ior+Optics.swift",
        "STD/NonEmptyArray+Optics.swift",
        "STD/Option+Optics.swift",
        "STD/Result+Optics.swift",
        "STD/String+Optics.swift",
        "STD/Try+Optics.swift",
        "STD/Validated+Optics.swift",
        "Setter.swift",
        "Traversal.swift",
        "Tuple/Tuple10.swift",
        "Tuple/Tuple2.swift",
        "Tuple/Tuple3.swift",
        "Tuple/Tuple4.swift",
        "Tuple/Tuple5.swift",
        "Tuple/Tuple6.swift",
        "Tuple/Tuple7.swift",
        "Tuple/Tuple8.swift",
        "Tuple/Tuple9.swift",
        "Typeclasses/At.swift",
        "Typeclasses/Cons.swift",
        "Typeclasses/Each.swift",
        "Typeclasses/FilterIndex.swift",
        "Typeclasses/Index.swift",
        "Typeclasses/Snoc.swift"
      ],
      "target_dependencies" : [
        "Bow"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowLaws",
      "module_type" : "SwiftTarget",
      "name" : "BowLaws",
      "path" : "Tests/BowLaws",
      "product_memberships" : [
        "BowLaws",
        "BowOpticsLaws",
        "BowEffectsLaws"
      ],
      "sources" : [
        "AlternativeLaws.swift",
        "ApplicativeErrorLaws.swift",
        "ApplicativeLaws.swift",
        "BimonadLaws.swift",
        "BindingOperatorOverload.swift",
        "ComonadEnvLaws.swift",
        "ComonadLaws.swift",
        "ComonadStoreLaws.swift",
        "ComonadTracedLaws.swift",
        "ComonadTransLaws.swift",
        "ComparableLaws.swift",
        "ContravariantLaws.swift",
        "CustomStringConvertibleLaws.swift",
        "DivideLaws.swift",
        "DivisibleLaws.swift",
        "EqualityFunctions.swift",
        "EquatableKLaws.swift",
        "EquatableLaws.swift",
        "FoldableLaws.swift",
        "FunctorFilterLaws.swift",
        "FunctorLaws.swift",
        "HashableKLaws.swift",
        "InvariantLaws.swift",
        "MonadCombineLaws.swift",
        "MonadErrorLaws.swift",
        "MonadFilterLaws.swift",
        "MonadLaws.swift",
        "MonadStateLaws.swift",
        "MonadTransLaws.swift",
        "MonadWriterLaws.swift",
        "MonoidKLaws.swift",
        "MonoidLaws.swift",
        "MonoidalLaws.swift",
        "PropertyOperatorOverload.swift",
        "SelectiveLaws.swift",
        "SemigroupKLaws.swift",
        "SemigroupLaws.swift",
        "SemigroupalLaws.swift",
        "SemiringLaws.swift",
        "TraverseFilterLaws.swift",
        "TraverseLaws.swift"
      ],
      "target_dependencies" : [
        "BowGenerators"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowGenericTests",
      "module_type" : "SwiftTarget",
      "name" : "BowGenericTests",
      "path" : "Tests/BowGenericTests",
      "sources" : [
        "GenericTest.swift"
      ],
      "target_dependencies" : [
        "BowGeneric"
      ],
      "type" : "test"
    },
    {
      "c99name" : "BowGeneric",
      "module_type" : "SwiftTarget",
      "name" : "BowGeneric",
      "path" : "Sources/BowGeneric",
      "product_memberships" : [
        "BowGeneric"
      ],
      "sources" : [
        "Coproduct10.swift",
        "Coproduct2.swift",
        "Coproduct3.swift",
        "Coproduct4.swift",
        "Coproduct5.swift",
        "Coproduct6.swift",
        "Coproduct7.swift",
        "Coproduct8.swift",
        "Coproduct9.swift",
        "Generic.swift",
        "HList.swift",
        "Product.swift"
      ],
      "target_dependencies" : [
        "Bow"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowGenerators",
      "module_type" : "SwiftTarget",
      "name" : "BowGenerators",
      "path" : "Tests/BowGenerators",
      "product_dependencies" : [
        "SwiftCheck"
      ],
      "product_memberships" : [
        "BowLaws",
        "BowOpticsLaws",
        "BowEffectsLaws",
        "BowGenerators",
        "BowFreeGenerators",
        "BowEffectsGenerators",
        "BowRxGenerators"
      ],
      "sources" : [
        "Arrow/Function0+Gen.swift",
        "Arrow/Function1+Gen.swift",
        "Arrow/Kleisli+Gen.swift",
        "Arrow/LazyFunction1+Gen.swift",
        "Data/ArrayK+Gen.swift",
        "Data/Co+Gen.swift",
        "Data/Const+Gen.swift",
        "Data/CoyonedaGen.swift",
        "Data/Day+Gen.swift",
        "Data/DictionaryK+Gen.swift",
        "Data/Either+Gen.swift",
        "Data/EitherK+Gen.swift",
        "Data/Endo+Gen.swift",
        "Data/Eval+Gen.swift",
        "Data/Exists+Gen.swift",
        "Data/Id+Gen.swift",
        "Data/Ior+Gen.swift",
        "Data/Moore+Gen.swift",
        "Data/NonEmptyArray+Gen.swift",
        "Data/Option+Gen.swift",
        "Data/PairK+Gen.swift",
        "Data/Sum+Gen.swift",
        "Data/Trampoline+Gen.swift",
        "Data/Tree+Gen.swift",
        "Data/Try+Gen.swift",
        "Data/Validated+Gen.swift",
        "Data/Yoneda+Gen.swift",
        "Data/Zipper+Gen.swift",
        "Transformers/EitherT+Gen.swift",
        "Transformers/EnvT+Gen.swift",
        "Transformers/OptionT+Gen.swift",
        "Transformers/StateT+Gen.swift",
        "Transformers/StoreT+Gen.swift",
        "Transformers/TracedT+Gen.swift",
        "Transformers/WriterT+Gen.swift",
        "Typeclasses/ArbitraryK.swift"
      ],
      "target_dependencies" : [
        "Bow"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowFreeTests",
      "module_type" : "SwiftTarget",
      "name" : "BowFreeTests",
      "path" : "Tests/BowFreeTests",
      "sources" : [
        "CofreeTest.swift",
        "FreeTest.swift",
        "ProgramTest.swift"
      ],
      "target_dependencies" : [
        "BowFreeGenerators",
        "BowLaws"
      ],
      "type" : "test"
    },
    {
      "c99name" : "BowFreeGenerators",
      "module_type" : "SwiftTarget",
      "name" : "BowFreeGenerators",
      "path" : "Tests/BowFreeGenerators",
      "product_memberships" : [
        "BowFreeGenerators"
      ],
      "sources" : [
        "Cofree+Gen.swift",
        "Free+Gen.swift",
        "Program+Gen.swift"
      ],
      "target_dependencies" : [
        "BowFree",
        "BowGenerators"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowFree",
      "module_type" : "SwiftTarget",
      "name" : "BowFree",
      "path" : "Sources/BowFree",
      "product_memberships" : [
        "BowFree",
        "BowFreeGenerators"
      ],
      "sources" : [
        "Cofree.swift",
        "Free.swift",
        "FunctionK+Free.swift",
        "Program.swift"
      ],
      "target_dependencies" : [
        "Bow"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowEffectsTests",
      "module_type" : "SwiftTarget",
      "name" : "BowEffectsTests",
      "path" : "Tests/BowEffectsTests",
      "sources" : [
        "EnvIOTest.swift",
        "IOTest.swift"
      ],
      "target_dependencies" : [
        "BowEffectsGenerators",
        "BowEffectsLaws"
      ],
      "type" : "test"
    },
    {
      "c99name" : "BowEffectsLaws",
      "module_type" : "SwiftTarget",
      "name" : "BowEffectsLaws",
      "path" : "Tests/BowEffectsLaws",
      "product_memberships" : [
        "BowEffectsLaws"
      ],
      "sources" : [
        "AsyncLaws.swift",
        "BracketLaws.swift",
        "MonadDeferLaws.swift"
      ],
      "target_dependencies" : [
        "BowEffects",
        "BowLaws"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowEffectsGenerators",
      "module_type" : "SwiftTarget",
      "name" : "BowEffectsGenerators",
      "path" : "Tests/BowEffectsGenerators",
      "product_memberships" : [
        "BowEffectsGenerators"
      ],
      "sources" : [
        "IO+Gen.swift"
      ],
      "target_dependencies" : [
        "BowEffects",
        "BowGenerators"
      ],
      "type" : "library"
    },
    {
      "c99name" : "BowEffects",
      "module_type" : "SwiftTarget",
      "name" : "BowEffects",
      "path" : "Sources/BowEffects",
      "product_memberships" : [
        "BowEffects",
        "BowRx",
        "BowEffectsLaws",
        "BowEffectsGenerators",
        "BowRxGenerators"
      ],
      "sources" : [
        "Data/Array+TraverseConcurrent.swift",
        "Data/Atomic.swift",
        "Data/EnvIO.swift",
        "Data/IO.swift",
        "Data/Internal/Dictionary+Extensions.swift",
        "Data/Internal/DispatchTimeInterval+Extensions.swift",
        "Data/Internal/Queue.swift",
        "Data/Ref.swift",
        "Data/Resource.swift",
        "Data/Schedule.swift",
        "Foundation/ConsoleIO.swift",
        "Foundation/FileManager+Common.swift",
        "Foundation/FileManager+iOS+Mac.swift",
        "Foundation/URLSession.swift",
        "Typeclasses/Async.swift",
        "Typeclasses/Bracket.swift",
        "Typeclasses/Concurrent.swift",
        "Typeclasses/ConcurrentEffect.swift",
        "Typeclasses/ConcurrentTraverse.swift",
        "Typeclasses/Effect.swift",
        "Typeclasses/EffectComprehensions.swift",
        "Typeclasses/MonadDefer.swift",
        "Typeclasses/UnsafeRun.swift"
      ],
      "target_dependencies" : [
        "Bow"
      ],
      "type" : "library"
    },
    {
      "c99name" : "Bow",
      "module_type" : "SwiftTarget",
      "name" : "Bow",
      "path" : "Sources/Bow",
      "product_memberships" : [
        "Bow",
        "BowOptics",
        "BowEffects",
        "BowRx",
        "BowFree",
        "BowGeneric",
        "BowRecursionSchemes",
        "BowLaws",
        "BowOpticsLaws",
        "BowEffectsLaws",
        "BowGenerators",
        "BowFreeGenerators",
        "BowEffectsGenerators",
        "BowRxGenerators"
      ],
      "sources" : [
        "Arrow/Cokleisli.swift",
        "Arrow/CokleisliK.swift",
        "Arrow/Function0.swift",
        "Arrow/Function1.swift",
        "Arrow/FunctionK+Coyoneda.swift",
        "Arrow/FunctionK.swift",
        "Arrow/Kleisli.swift",
        "Arrow/LazyFunction1.swift",
        "Data/Action.swift",
        "Data/Array.swift",
        "Data/ArrayK.swift",
        "Data/Co.swift",
        "Data/CoSum.swift",
        "Data/Const.swift",
        "Data/Coreader.swift",
        "Data/Coyoneda.swift",
        "Data/Day.swift",
        "Data/Dictionary.swift",
        "Data/DictionaryK.swift",
        "Data/Either.swift",
        "Data/EitherK.swift",
        "Data/Endo.swift",
        "Data/Eval.swift",
        "Data/Exists.swift",
        "Data/Id.swift",
        "Data/Ior.swift",
        "Data/Moore.swift",
        "Data/NonEmptyArray.swift",
        "Data/Option.swift",
        "Data/PairK.swift",
        "Data/Pairing.swift",
        "Data/Puller.swift",
        "Data/Reader.swift",
        "Data/Result.swift",
        "Data/Set.swift",
        "Data/SetK.swift",
        "Data/Sum.swift",
        "Data/Trampoline.swift",
        "Data/Tree.swift",
        "Data/Try.swift",
        "Data/Validated.swift",
        "Data/Yoneda.swift",
        "Data/Zipper.swift",
        "Instances/BoolInstances.swift",
        "Instances/NumberInstances.swift",
        "Instances/OptionInstances.swift",
        "Instances/StringInstances.swift",
        "Syntax/BooleanFunctions.swift",
        "Syntax/Curry.swift",
        "Syntax/HigherKinds.swift",
        "Syntax/Memoization.swift",
        "Syntax/PartialApplication.swift",
        "Syntax/Predef.swift",
        "Syntax/Reverse.swift",
        "Transformers/EitherT.swift",
        "Transformers/EnvT.swift",
        "Transformers/OptionT.swift",
        "Transformers/StateT.swift",
        "Transformers/StoreT.swift",
        "Transformers/TracedT.swift",
        "Transformers/WriterT.swift",
        "Typeclasses/Alternative.swift",
        "Typeclasses/Applicative.swift",
        "Typeclasses/ApplicativeError.swift",
        "Typeclasses/Bimonad.swift",
        "Typeclasses/Comonad.swift",
        "Typeclasses/ComonadEnv.swift",
        "Typeclasses/ComonadStore.swift",
        "Typeclasses/ComonadTraced.swift",
        "Typeclasses/ComonadTrans.swift",
        "Typeclasses/Comparable.swift",
        "Typeclasses/Contravariant.swift",
        "Typeclasses/Decidable.swift",
        "Typeclasses/Divide.swift",
        "Typeclasses/Divisible.swift",
        "Typeclasses/EquatableK.swift",
        "Typeclasses/Foldable.swift",
        "Typeclasses/Functor.swift",
        "Typeclasses/FunctorFilter.swift",
        "Typeclasses/HashableK.swift",
        "Typeclasses/Invariant.swift",
        "Typeclasses/Monad.swift",
        "Typeclasses/MonadCombine.swift",
        "Typeclasses/MonadComprehensions/BindingExpression.swift",
        "Typeclasses/MonadComprehensions/BindingOperator.swift",
        "Typeclasses/MonadComprehensions/BoundVar.swift",
        "Typeclasses/MonadComprehensions/MonadComprenhensions.swift",
        "Typeclasses/MonadComprehensions/ReaderBindingExpression.swift",
        "Typeclasses/MonadComprehensions/StateBindingExpression.swift",
        "Typeclasses/MonadComprehensions/WriterBindingExpression.swift",
        "Typeclasses/MonadError.swift",
        "Typeclasses/MonadFilter.swift",
        "Typeclasses/MonadReader.swift",
        "Typeclasses/MonadState.swift",
        "Typeclasses/MonadTrans.swift",
        "Typeclasses/MonadWriter.swift",
        "Typeclasses/Monoid.swift",
        "Typeclasses/MonoidK.swift",
        "Typeclasses/Monoidal.swift",
        "Typeclasses/NonEmptyReducible.swift",
        "Typeclasses/Reducible.swift",
        "Typeclasses/Selective.swift",
        "Typeclasses/Semigroup.swift",
        "Typeclasses/SemigroupK.swift",
        "Typeclasses/Semigroupal.swift",
        "Typeclasses/Semiring.swift",
        "Typeclasses/Traverse.swift",
        "Typeclasses/TraverseFilter.swift"
      ],
      "type" : "library"
    }
  ],
  "tools_version" : "5.2"
}
Done.