1 2 3 4 5 6 7 8 9
data N = Z | S N res Z x y = (# x, y #) res (S n) x y = res n x y (# x, y #) = res (S Z) "no!" "hello world\n" main = putStr y