MonadGen
hedgehog
main
Properties