{-# htermination maximum :: [Float] -> Float #-}