parseTryWith = do reserved "try"
                  t1 <- parseTerm
                  reserved "with"
                  liftM (TmTry t1) parseTerm

{- ------------------------------
   Putting it all together
   ------------------------------ -}
parseTryWith = do reserved "try"
                  t1 <- parseTerm
                  reserved "with"
                  liftM (TmTry t1) parseTerm

{- ------------------------------
   Putting it all together
   ------------------------------ -}
parseTryWith = do reserved "try"
                  t1 <- parseTerm
                  reserved "with"
                  liftM (TmTry t1) parseTerm

{- ------------------------------
   Putting it all together
   ------------------------------ -}