A very basic implementation of QuickCheck in PureScript