ERROR: Malformed domain specification: type declaration for Point has duplicate member names