parseProj = do t <- parseRecord <|> parens parseTerm
               symbol "."
               liftM (TmProj t) (identifier <|> (liftM show natural))

{- ------------------------------
   Variants and Cases
   ------------------------------ -}
parseProj = do t <- parseRecord <|> parens parseTerm
               symbol "."
               liftM (TmProj t) (identifier <|> (liftM show natural))

{- ------------------------------
   Variants and Cases
   ------------------------------ -}
parseProj = do t <- parseRecord <|> parens parseTerm
               symbol "."
               liftM (TmProj t) (identifier <|> (liftM show natural))

{- ------------------------------
   Variants and Cases
   ------------------------------ -}