The maximum and minimum bounds for different types are accessed via the Bounded type-class using the values minBound and maxBound.
The values are polymorphic based on the context they are in, so in some cases you might have to explicitly indicate the type if the compiler is unable to infer it. E.g.
x = minBound :: Int