:: x -> (x, x) package:unique-logic