categorical-property-testing

Property-based testing for functor laws, monad laws, and naturality conditions using fp-ts and fast-