parseNat = liftM numToSucc natural
    where numToSucc 0 = TmZero
          numToSucc n = TmSucc $ numToSucc (n - 1)

{- ------------------------------
   Arith Parsers
   ------------------------------ -}
parseNat = liftM numToSucc natural
    where numToSucc 0 = TmZero
          numToSucc n = TmSucc $ numToSucc (n - 1)

{- ------------------------------
   Arith Parsers
   ------------------------------ -}
parseNat = liftM numToSucc natural
    where numToSucc 0 = TmZero
          numToSucc n = TmSucc $ numToSucc (n - 1)

{- ------------------------------
   Arith Parsers
   ------------------------------ -}