test/HOLCF/incmpl.hs

	incmpl.hs revision 4959c4e13acd09856d0563ad72de17cfe2af89ba

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)