MonadGen
hedgehog
minitest
hedgehog