# err: errUnify: only recursive solutions left