space-efficient ambiguous signatures