Re: Coercions and type synonyms

[David Barton]

Lennart writes:

   A type system with automatic coercions inserted on top of all the
   complexities of Haskell is more than I want to think about.

We tried it with MHDL.

It sucks.

To quote the great computing scientist, Buford T. Justice, "You can
think about it.  Just don't *do* it."

                                        Dave Barton <*>
                                        [EMAIL PROTECTED] )0(
                                        http://www.inmet.com/~dlb