true :: Parser BooleanExp
true = do reserved "true"
          return (Boolean True)
true :: Parser BooleanExp
true = do reserved "true"
          return (Boolean True)
true = do reserved "true"
          return (Boolean True)