¿Hay una mejor manera de extraer la hora del día?

Si necesita la hora exacta de una marca de tiempo, solo transmita a la hora:

SELECT
    CAST(colname AS time)
FROM
    tablename;

Si necesita formatear, to_char() es su mejor opción.