{-# htermination (&&) :: Bool -> Bool -> Bool #-}