chickadee » mini-kanren » pairo

Predicate goal that succeeds if-and-only-if p unifies with any pair. When p is fresh, it guarantees that p can only unify with a pair.