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