{-# htermination minimum :: [Bool] -> Bool #-}