reused existy and switched to ordered-pair interpretation over curried form in type names