Class IfExistsUniWithUniNode.Counter<A>