translate (RawWindowRefresh : xs) = EventWindowRefresh : translate xs
translate (RawWindowRefresh : xs) = EventWindowRefresh : translate xs
translate (RawWindowRefresh : xs) = EventWindowRefresh : translate xs