{-# htermination min :: Ord a => (Maybe a) -> (Maybe a) -> (Maybe a) #-}