Add missing file: ExampleSetpts.hs