The definition of Maybe (at least in the Hugs prelude) is:

data Maybe a = Just a | Nothing
               deriving (Eq, Ord, Read, Show)

The (to me) unfortunate consequence of this is that "Nothing" is the upper
bound of the type (as opposed to the lower bound, which makes more sense to
me intuitively).

Was this a conscious design decision?
...and if so, why?

Thanks.
--Artie



   Arthur Gold                                               Austin, Texas
 -------------------------------------------------------
| [EMAIL PROTECTED]                    [EMAIL PROTECTED] |
 -------------------------------------------------------




Reply via email to