Sep1 = Main +
consts sep :: "'a * 'a list => 'a list"
