BowLaws (cocoapods): Laws for type classes included in Bow.
Keywords: bow|carthage|category-theory|cocoapods|composition|declarative-programming|effects|fp|free-monad|functional-programming|functor|hacktoberfest|monad|mtl|reactive-programming|spm|swift|swift-library|tagless-final