{-# htermination maxBound :: Bool #-}