Re: Towards a more OO Haskell

> Many people have said this, but I still haven't found an instance where > existential types are *needed*. For example, if you declare a data type: How about this? Is the following example possibly accepted in any extended Haskell system? class Sequence seq a where empty :: seq a cons :

No Subject

Thanks, Mark and Kwanghoon. These good online materials would save precious time of Haskellers. Jaewoo Kim