module Exercise_4 where

{- H1 -}

strictlyDescending :: [Integer] -> Bool
strictlyDescending = undefined

{- H2 -}

chunks :: Int -> [a] -> [[a]]
chunks = undefined

irregularChunks :: [Int] -> [a] -> [[a]]
irregularChunks = undefined

{- H3 -}

{-WETT-}
upsAndDowns :: Ord a => [a] -> [[a]]
upsAndDowns = undefined
{-TTEW-}

{- H4 -}

{-
 - <Hier Induktionsbeweis einfügen>
 -}