added example of using simple-check to test correctness of generic api