main :: IO ()
main = do
  let e = evalAll (TmIsZero (TmIf TmZero (TmSucc TmZero) TmZero))
  print e
main :: IO ()
main = do
  let e = evalAll (TmIsZero (TmIf TmZero (TmSucc TmZero) TmZero))
  print e
main = do
  let e = evalAll (TmIsZero (TmIf TmZero (TmSucc TmZero) TmZero))
  print e