向井です。

横槍ですが、
> nobsun(さん)
> > Bounded class のインスタンスとして宣言する。
> > じゃだめ?
> 
>   このやり方わかりません。例えばどういう風に書けばいいんで
> しょうか。

instance (Bounded a) => Bounded (Maybe a) where
    maxBound = Just(maxBound)
    minBound = Nothing

*Main> foldl min (maxBound :: Maybe Int) [Just 10, Just 20, Just 30, Just 4]
Just 4

のような感じではないでしょうか?

↑だと Integer は使えなくなりますが……。

--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/