{-# htermination minBound :: () #-}