C'è un modo migliore per estrarre l'ora del giorno?

Se hai bisogno dell'ora esatta da un timestamp, trasmetti all'ora:

SELECT
    CAST(colname AS time)
FROM
    tablename;

Se hai bisogno di formattazione, to_char() è l'opzione migliore.