Add triplesWithProp.hs