execute_' :: DBState -> P.Query -> IO ()
execute_' st q =
    void (P.execute_ (db' st) q)
execute_' :: DBState -> P.Query -> IO ()
execute_' st q =
    void (P.execute_ (db' st) q)
execute_' st q =
    void (P.execute_ (db' st) q)