-- ToDo
-- while = do
--   string "while"
--   spaces
--   c <- expr
--   spaces
--   string "do"
--   spaces
--   b <- expr
--   return $ While c b

deref :: Parser Term
deref = parserZero
deref :: Parser Term
deref = parserZero
deref = parserZero