{-# htermination max :: () -> () -> () #-}