:: x -> (x, x) package:type-flip