{- |

Module : $EmptyHeader$

Description : <optional short description entry>

Copyright : (c) <Authors or Affiliations>

License : GPLv2 or higher

Maintainer : <email>

Stability : unstable | experimental | provisional | stable | frozen

Portability : portable | non-portable (<reason>)

<optional description>

-}

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