wcard.hs revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
data Boolx = Minx | Plusx
data Natx a = Zx | Sx a | SSx (Natx a) Boolx
map1 :: Natx Int -> (Int -> Int) -> Natx Int
map1 x = \ f -> case x of
Zx -> Sx (f 0)
Sx n -> Sx (f n)
_ -> x