nonAppT = do
  choice [ constT
         , varT
         , primT
         , absT
         , letRecT
         , between (char lparen >> skipSC)
                   (skipSC >> char rparen)
                   term
         ]
nonAppT = do
  choice [ constT
         , varT
         , primT
         , absT
         , letRecT
         , between (char lparen >> skipSC)
                   (skipSC >> char rparen)
                   term
         ]
nonAppT = do
  choice [ constT
         , varT
         , primT
         , absT
         , letRecT
         , between (char lparen >> skipSC)
                   (skipSC >> char rparen)
                   term
         ]