Added Exists.hs, from ertes