data No = a :::: b