abstract DictCompFinAbs = DictFinAbs ** {