A port of QuickCheck to Idris