On Mon, 16 Feb 2004, Ashley Yakeley wrote:
> A value of "type" (exists t. Interface t => t) consists of two values,
> one of type t, and one "dictionary" value. For that reason a data type
> is used to represent this (and a newtype type cannot be).
This is an implementation detail, though. It's
In article <[EMAIL PROTECTED]>,
Ben Rudiak-Gould <[EMAIL PROTECTED]> wrote:
> And it would be nice to be able to pass around values of type
> (exists t. Interface t => t), which behave just like OOP interface
> pointers.
A value of "type" (exists t. Interface t => t) consists of two values,
one