Create AbstractSet.hs