Simplified QuickCheck in Elm