improve quickcheck instances