タイプw/`min`？

Question

はOrdタイプクラスを考える：

Prelude> :i Ord 
class Eq a => Ord a where 
    compare :: a -> a -> Ordering 
    (<) :: a -> a -> Bool 
    (<=) :: a -> a -> Bool 
    (>) :: a -> a -> Bool 
    (>=) :: a -> a -> Bool 
    max :: a -> a -> a 
    min :: a -> a -> a 

は、指定された型のmin : aフィールド/機能を提供する型クラスはありますか？

例：

min :: Int出力最小Int値になります。

Answer 1

Boundedを探しています（minBoundを含む）。