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