{-# htermination until :: (a -> Bool) -> (a -> a) -> a -> a #-}