Tasty integration for the Hedgehog property testing library - View it on GitHub