Testing | Effectful

IDA/quickcheck-effectful: Adaptation of the QuickCheck library for the effectful ecosystem.

IDA/hspec-effectful: Adaptation of the Hspec library for the effectful ecosystem.