silly quickcheck example with Arbitrary instance