x _ x = ()