{-# htermination minBound :: Bool #-}