answer(unary, a).
answer(binary, pair(a, b)).