Dear Haskell users and developers,
I announce that manual.txt from the archive
ftp.botik.ru:/pub/local/Mechveliani/docon/2/docon-2.zip
http://www.botik.ru...
contains the section
----------------------------------------------------------------------
{lne} Language extension proposal
*********************************
Adding the following language features seem to make Haskell more fit
the needs of programming mathematics:
(der) more "deriving" abilities
(overl) extended polymorphism for values and instance overlap
(dc) automatic conversion between types (domains)
(recat) reorganising standard algebraic categories
(es) equational simplifier annotations
...
...
----------------------------------------------------------------------
You see, i worry about Haskell fitness for the programming of certain
tasks.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]