Re: Maybe type

[John C. Peterson]

This is certainly a small bug in the Hugs Prelude.  If you look at the
1.4 report, the order of the constructors is correct.  I think this
bug went back to the 1.2 report and has been sitting in the Hugs
prelude since then.  This will be fixed in the official Hugs 1.4
release.

   John