Checked conversions between integral types *(Haskell)*