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)