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