{-# htermination toEnum :: Int -> Bool #-}