{-# htermination scanr :: (a -> b -> b) -> b -> [a] -> [b] #-}