{-# htermination fromEnum :: () -> Int #-}