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