Never write test data by hand again. Generate it!
Λrrow Check is part of Λrrow.
Global properties come from arrow repository.
Λrrow Check comes from propCheck by Jannis.
It started as a port of QuickCheck and lately of the Hedgehog Haskell library.