src/CCO/Fun/AG/Base.ag - trying to add pairs