seive (Nil)               = Nil
seive (Cons(a,Nil))       = Nil
seive (Cons(a,Cons(b,x))) = Cons(b,seive(x))