Add example.quickcheck