It looks like a mistake to me, too.

--Joe

| 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] |
|  -------------------------------------------------------
| 
| 


Joseph H. Fasel                     email:  [EMAIL PROTECTED]
Technology Modeling and Analysis    phone:  +1 505 667 7158
University of California            fax:    +1 505 667 2960
Los Alamos National Laboratory      postal: TSA-7 MS F609
                                            Los Alamos, NM  87545




Reply via email to