expr' :: Parser Term
expr' = chainl1 expr'' (spaces *> return App <* spaces)
expr' :: Parser Term
expr' = chainl1 expr'' (spaces *> return App <* spaces)
expr' = chainl1 expr'' (spaces *> return App <* spaces)