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