Common quickcheck instances
