[Pepper function
martin.hofmann@uni-bamberg.de**20091012150553] hunk ./expl/Examples.hs 403
+
+-- (A, (x1 ... xn))
+-- ->
+-- (A, (x1, z1)), (z1, (x2, z2), ... (zn-1, (xn, zn)), (zn, e))
+
+pepper1 :: Peano -> [a] -> [(Peano, Maybe a)]
+pepper1 Z []         = [(Z,Nothing)]
+pepper1 Z [a]        = [(Z, Just a),(S Z, Nothing)] 
+pepper1 Z [a,b]      = [(Z, Just a),(S Z, Just b),(S(S Z), Nothing)] 
+pepper1 Z [a,b,c]    = [(Z, Just a),(S Z, Just b),(S(S Z), Just c),(S(S(S Z)), Nothing)] 
+-- pepper1 p [a,b,c,d]  = [(p, Just a),(S p, Just b),(S(S p), Just c),(S(S(S p)), Just d),(S(S(S(S p))), Nothing)] 
+
+pepper2 :: Peano -> [a] -> [(Peano, Maybe (a,Peano))]
+pepper2 p []         = [(p,Nothing)]
+pepper2 p [a]        = [(p, Just (a, S p)),(S p, Nothing)] 
+pepper2 p [a,b]      = [(p, Just (a, S p)),(S p, Just (b, S(S p))),(S(S p), Nothing)] 
+pepper2 p [a,b,c]    = [(p, Just (a, S p)),(S p, Just (b, S(S p))),(S(S p), Just (c, S(S(S p)))),(S(S(S p)), Nothing)] 
+-- pepper p [a,b,c,d]  = [(p, Just a),(S p, Just b),(S(S p), Just c),(S(S(S p)), Just d),(S(S(S(S p))), Nothing)] 
+
+