Что такое общая идиома для преобразования между Целочисленными типами?

Я хочу преобразовать между различными целочисленными типами; например, Word32 и Word8.

Что идиоматический путь состоит в том, чтобы сделать это в Haskell?

Word8-> преобразование Word32 может всегда успешно выполняться. Word32-> преобразование Word8 могло бы привести к переполнению, и я буду иметь дело с тем (или путем тестирования явно или получения признака от того, что идиома преобразования).