cmd_execute :: String -> IP.IdrisParser (Either String Command)
cmd_execute name = do
    tm <- P.option maintm (IP.fullExpr defaultSyntax)
    return (Right (Execute tm))
  where
    maintm = PRef (fileFC "(repl)") [] (sNS (sUN "main") ["Main"])
cmd_execute :: String -> IP.IdrisParser (Either String Command)
cmd_execute name = do
    tm <- P.option maintm (IP.fullExpr defaultSyntax)
    return (Right (Execute tm))
  where
    maintm = PRef (fileFC "(repl)") [] (sNS (sUN "main") ["Main"])
cmd_execute name = do
    tm <- P.option maintm (IP.fullExpr defaultSyntax)
    return (Right (Execute tm))
  where
    maintm = PRef (fileFC "(repl)") [] (sNS (sUN "main") ["Main"])