I wrote a typo 10 minutes ago
[..]
"Eq a means all the infinitely many things that can be deduced
...
And I discover that it uses Eq [Bool] ...
... Eq [Bool] can be deduced ...
"
It should be
" ...
And I discover that it uses Eq (Maybe a).
... Eq (Maybe a) can be deduced ...
"
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
