xlist = xlist' 1 xlist' x = x:(xlist' ((x + 2) * (0 - 1)) )
xlist = xlist' 1 xlist' x = x:(xlist'' (x + 2) ) xlist'' x = -x:(xlist' (x + 2) )