Add Cartesian and Monoidal functor law tests to Gen.
Add Cartesian and Monoidal functor law tests to Gen.

typelift/SwiftCheck,kykim/SwiftCheck,typelift/SwiftCheck,kykim/SwiftCheck,typelift/SwiftCheck,CodaFi/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,CodaFi/SwiftCheck,CodaFi/SwiftCheck