I know just enuf about existential types in Haskell to be dangerous. While
trying to learn a little more about how to use them, I keep running into
problem. The existential types work great for code that I constructed if the
functions take a single argument. However, if the function takes mor
In a message dated 5/3/2001 4:00:18 AM Central Daylight Time,
[EMAIL PROTECTED] writes:
Should be:
setx (MakeExistentialShape a) newx = MakeExistentialShape (setx a
newx)
The result of setx must have the same type as its first argument.
Thanks. That solves my problem.
BTW, what is th