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.