datatype ('a, 'b) element =
         P of 'a * 'b |
         S of 'a;

     fun sumElList(nil) = 0
     |   sumElList(S(x)::L) = sumElList(L)
     |   sumElList(P(x,y)::L) = y + sumElList(L);