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