eval :: IP.IdrisParser (Either String Command)
eval = do
  t <- IP.fullExpr defaultSyntax
  return $ Right (Eval t)
eval :: IP.IdrisParser (Either String Command)
eval = do
  t <- IP.fullExpr defaultSyntax
  return $ Right (Eval t)
eval = do
  t <- IP.fullExpr defaultSyntax
  return $ Right (Eval t)