Haskell: Максимальная/минимальная функция

Question

Есть функция в Haskell, как говорят:

max_of_type :: (Num a) => a 

Итак:

max_of_type :: Int == 2^31 - 1 // for example, implementation dependent 

Answer 1

Да, это называется maxBound.

Существует также minBound. Они являются частью класса Bounded.

Answer 2

К сожалению, это всего лишь maxBound и minBound.