{-# htermination minimum :: [()] -> () #-}