[new example
martin.hofmann@uni-bamberg.de**20090527154554] hunk ./expl/Examples.hs 127
+droP :: Peano -> [a] -> [a]
+droP Z             []      = []
+droP Z             [a]     = [a]
+droP Z             [a,b]   = [a,b]
+--droP Z             [a,b,c] = [a,b,c]
+droP (S Z)         []      = []
+droP (S Z)         [a]     = []
+droP (S Z)         [a,b]   = [b]
+--droP (S Z)         [a,b,c] = [b,c]
+droP (S (S Z))     []      = []
+droP (S (S Z))     [a]     = []
+droP (S (S Z))     [a,b]   = []
+--droP (S (S Z))     [a,b,c] = [c]
+droP (S (S (S Z))) []      = []
+droP (S (S (S Z))) [a]     = []
+droP (S (S (S Z))) [a,b]   = []
+--droP (S (S (S Z))) [a,b,c] = []
+