{-# htermination minimum :: Ord a => [(Maybe a)] -> (Maybe a) #-}